形式语言是进行形式化工作的元语言，它是以数学和数理逻辑为基础的科学语言。形式语言的基本特点有：
（1）有一组初始的、专门的符号集；
（2）有一组精确定义的，由初始的、专门的符号组成的符号串转换成另一个符号串的规则。在形式语言中，不允许出现根据形成规则无法确定的符号串。
比如：语言Z定义为：
初始符号集：{a，b，c，d，e，（，），，，，}。形成规则：上述符号组成的有限符号串中，凡以符号“（”开头且以“）”结尾的符号串，为一公式，否则不是。
（简答题）
什么是形式语言？试举例说明。
正确答案
答案解析
略
