题目内容
（请给出正确答案）
在如下上下文无关文法G中：stmt-sequence→stmt;stmt-sequence|stmtstmt→s哪些是终结符号？()
Astmt-sequence
Bstmt
Cs
D;
简答题官方参考答案
（由简答题聘请的专业题库老师提供的解答）
更多“在如下上下文无关文法G中：stmt－sequence→stmt;stmt－sequence|stmtstmt→s哪些是终结符号？（)Astm”相关的问题
在形式语言中，若文法G的产生式集P为：
(1)Z→Bc(2)Z→Zc(3)B→Ab(4)B→Bb(5)A→Aa(6)A→a
则文法G是(27)文法，识别G的自动机为(28)。对于G来说，(29)为文法G可接受的字符串，(30)为文法G不可接受的字符串。
供选择的答案：
A．短语
B．上下文有关
C．上下文无关
D．正则
若文法G定义的语言是无限集，则文法必然是()。
A上下文无关文法
B正规文法
C二义性文法
D递归文法
A.①②
B.①②④
C.②④
D.①②③④
A.1型(上下文有关)文法
B.2型(上下文无关)文法
C.定义标识符的3型(正规)文法
D.0型文法
程序设计语言包括()等几个方面，它的基本成分包括()。Chomsky(乔姆斯基)提出了形式语言的分层理论，他定义了4类文法：短语结构文法、上下文有关文法、上下文无关文法和正则文法。一个文法可以用一个四元组G=(∑，V，S，P)表示，其中，∑是终结符的有限字符表，V是非终结符的有限字母表，S(∈V)是开始符号，P是生成式的有限非空集。
在短语文法中，P中的生成式都是α→β的形式，其中α∈(C)，β∈(∑∪V)*。在上下文有关文法中，P中的生成式都是α1Aα→α2βα2的形式，其中A∈()，β∈(∑∪V)*，β≠ε。在上下文无关文法中，P中的生成式的左部∈()。
供选择的答案：
警告：系统检测到您的账号存在安全风险
为了保护您的账号安全，请在“简答题”公众号进行验证，点击“官网服务”-“账号验证”后输入验证码“”完成验证，验证成功后方可继续查看答案！
![语言L（G）={ [图] | m≥n ≥0 } 的上下文无关文法中的产...语言L（G）={ |](http://static.jiandati.com/752ae4b-chaoxing2016-570109.png)
| m≥n ≥0 } 的上下文无关文法中的产生式包括：S→aSb， ，和S→ε![语言L（G)={[图] | n ＞=0 } 的上下文无关文法可以描...语言L(G)={ | n ＞](http://static.jiandati.com/106da65-chaoxing2016-570108.png)
| n ＞=0 } 的上下文无关文法可以描述成： G1[S]: S→aSb | ε
