用一组数学符号和规则来描述语言的方式称为形式描述，把所用的数学符号称为形式语言。
约定，所谓定义了某种语言，指对其语法进行了定义。
语言的定义，三种方法：
（1）枚举法：把该语言的所有句子列出放在一集合内。（有限个句子）
（2）制定有限条规则：用来产生描述语言的全部句子。（有限或无限个句子）
（3）建立一种装置（算法、过程）：检验和识别句子。即自动机（有限或无限句子）
标签：文法,语言,--,有限,描述语言,句子 From： https://www.cnblogs.com/cangshiqian/p/16665755.html