形式语言的三种主要类型是：肖似型符号、指示型符号和