形式语言复习资料.docVIP

形式语言与自动机理论（电子版笔记） 文法 2.1 文法的形式定义 文法(grammar) G=(V，T，P，S) V——为变量(variable)的非空有穷集。A∈V，A叫做一个语法变量(syntactic Variable)，简称为变量，也可叫做非终极符号。它表示一个语法范畴。所以，本文中有时候又称之为语法范畴。 T——为终极符(terminal)的非空有穷集。a∈T，a叫做终极符。由于V中变量表示语法范畴，T中的字符是语言的句子中出现的字符，所以，有V∩T=Φ。 S——S∈V，为文法G的开始符号(start symbol)。 P——为产生式(production)的非空有穷集合。P中的元素均具有形式α→β，被称为产生式，读作：α定义为β。其中α∈(V∪T)+，且α中至少有V中元素的一个出现。β∈(V∪T)*。α称为产生式α→β的左部，β称为产生式α→β的右部。产生式又叫做定义式或者语法规则。 约定 ⑴ 对一组有相同左部的产生式 α→β，α→β ，… ，α→β 可以简单地记为： α→β|β|…|β 读作：α定义为β，或者β，…，或者β。并且称它们为α产生式。β，β，…，β称为候选式(candidate)。 ⑵ 使用符号 英文字母表较为前面的大写字母，如A，B，C，…表示语法变量； 英文字母表较为前面的小写字母，如a，b，c，…表示终极符号； 英文字母表较为后面的大