形式语言可以分为肖似性符号、指示性符号和