形式语言与自动机

形式语言 1.形式语法定义 不管哪一种语言都是句子和符号串的集合，描述一种语言的三种方法： 1. 穷举法：把语言中的全部句子都枚举出来。 2. 文法描述：语言中的每一个句子用严格定义的规则来构造，利用规则生成语言中合法的句子。（用来精确地描述语言和其结构） 3. 自动机法：经过对输入的句子进行合法性检验，区别哪些是语言中的句子，哪些不是。（用来机械地刻画对输入字符串的识别过程）web 定义（形式语

>>阅读原文<<