二--前后文无关文法和语言--1.文法及语言的表示

用一组数学符号和规则来描述语言的方式称为形式描述，把所用的数学符号称为形式语言。

约定，所谓定义了某种语言，指对其语法进行了定义。

语言的定义，三种方法：

　　（1）枚举法：把该语言的所有句子列出放在一集合内。（有限个句子）

　　（2）制定有限条规则：用来产生描述语言的全部句子。（有限或无限个句子）

　　（3）建立一种装置（算法、过程）：检验和识别句子。即自动机（有限或无限句子）