形式语言复习资料.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，…表示终极符号； 英文字母表较为后面的大写字母，如X，Y，Z，…表示该符号是语法变量或者终极符号； 英文字母表较为后面的小写字母，如x，y，z，…表示由终极符号组成的行； 希腊字母α，β，γ…表示由语法变量和终极符号组成的行 推导(derivation) 设G=(V，T，P，S)是一个文法，如果α→β∈P，γ，δ∈(V∪T)*，则称γαδ在G中直接推导出γβδ。 γαδγβδ 读作：γαδ在文法G中直接推导出γβδ。 “直接推导”可以简称为推导(derivation)，也称推导为派生。 归约(reduction) γαδγβδ 称γβδ在文法G中直接归约成γαδ。在不特别强调归约的直接性时，“直接归约”可以简称为归约。 使用产生式→A SAB使用产生式→AB A0使用产生式→0 A0A使用产生式→0A A00A使用产生式→0A … A000…0使用产生式→0 语法范畴A代表的集合L(A)={0，00，000，0000，……}={0|n≥1}； 语法范畴B代表的集合L(B)={1，11} 语法范畴S代表的集合L(S)=L(A)∪L(A)L(B) ={0，00，000，0000，…}∪{0，00，000，0000，…}{1，11} ={0，00，000，0000，…}∪{01，001，0001，00001，…}∪{011，0011，00011，000011，…} 语言(language) L(G)={w | w∈T*且Sw} 句子(sentence) ?w∈L(G)，w称为G产生的一个句子。 句型(sentential form) G=(V，T，P，S)，对于α∈(V∪T)*，如果Sα，则称α是G产生的一个句型。 2.2 文法的构造 例1 构造文法G，使L(G)={0，1，00，11} 构造：({S}，{0，1}，{S?0，S?1，S?00，S?11}，S) ({S，A，B}，{0，1}，S→0） 例2 构造文法G，使L(G)={w w|w∈{0，1，2，3}+} S→HE H→0|1|2|3|0H|1H|2H|3H E→0|1|2|3|E0|E1|E2|E3 难以生成L(G)。 根据{w w|w∈{0，1，2，3}+}的句子的特点（对应位置相等），设w=aa…a，从而有w= a…aa，故ww= aa卆 EMBED Equation.KSEE3 \* MERGEFORMAT a卆 EMBED Equation.KSEE3 \* MERGEFORMAT a ，满足f(w wT，i)=f(w wT，|w wT|-i+1)。 递归地定义L ⑴ 对a∈{0，1，2，3}，aa∈L； ⑵ 如果x∈L，则对a∈{0，1，2，3}，axa∈L； ⑶ L中不含不满足(1)、(2)任何其他的串。 根据递归定义中的第一条，有如下产生式组： S→00 | 11 | 22 | 33 再根据递归定义第二条，又可得到如下产生式组： S→0S0 | 1S1 | 2S2 | 3S3 从而，G1：S→00 | 11 | 22 | 33 | 0S0 | 1S1 | 2S2 | 3S3 2.3 文法的乔姆斯基体系 文法G=(V，T，P，S) G叫做0型文法，也叫做短语结构文法(,PSG)。 L(G)叫做0型语言。也可以叫做短语结构语言(PSL)。 如果对于α→β