编译原理 第二章 程序设计语言及其文法

1、文法：G：S→xSx | y所识别的语言是(x^n y x^n )。
2、给定文法A→bA|ca，为该文法句子的是( bca)。
3、设有文法G[S]：S→S1|S0|Sa|Sc|a|b|c，下列符号串中是该文法的句子有( bc10)。
4、文法G产生的(句子 )的全体是该文法描述的语言。
5、若文法G定义的语言是无限集，则文法必然是(递归的).
6、乔姆斯基（chomsky）四文法

0型文法：
	无限制文法/短语结构文法
	➢∀α → β∈P， α中至少包含1个非终结符 
1型文法：
	上下文有关文法
	➢ ∀α → β∈P，α ∈ VN 
	➢产生式的一般形式：A→β
2型文法：
	上下文无关文法
	➢ ∀α → β∈P，α ∈ VN 
	➢产生式的一般形式：A→β 
3型文法：
	正则文法
	➢ 右线性(Right Linear)文法： A→wB 或 A→w 
	➢ 左线性(Left Linear)  文法： A→Bw 或 A→w 
	➢左线性文法和右线性文法都称为正则文法 
	

7、一个上下文无关文法G包括四个组成部分，它们是一组非终结符号，一组终结符号，一个开始符号、以及一组产生式

G = (VT , VN , P , S ) 
➢VT：终结符集合 
➢VN：非终结符集合 
➢P ：产生式集合 
➢S ：开始符号 

8、若一个文法是递归的、则它所产生的语言的句子是（无穷多个）
9、给定文法A→bA|cc，则符号串①cc ②bcbc ③bcbcc ④bccbcc ⑤bbbcc中，是该文法句子的是(15 )。
10、文法E→E+E|EE|i的句子ii+i*i有( 5 )棵不同的语法树。
11、文法 S→aaS|abc 定义的语言是({a^2k-1 bc | k > 0} )。
12、文法G：S→xSx| xS|y所识别的语言是x^m y x^n
13、由文法的开始符号出发经过若干步（包括0步）推导产生的文法符号序列称为(句型)。
14、下列符号串不可以由符号集S＝{a,b}上的正闭包运算产生的是(ε )。
15、文法G：S → x xS | y 所识别的语言是(（xx)^ * y )。
16、文法G：S → xS | y 所识别的语言是( X ^ * y)。