点击联系发帖人1)准确指出文法属于chomsy哪┅型文法
2)符号串%mm%nn是不是该文法的一个句子,请证明
3)若是句子,写出该句子的所有短语、简单短语,以及句柄
4)对于%mm%nn输入符号串,翻译后的输出是abbc,请写絀该属性文法
首先要做这题你要知道判别文法类型
0-型文法（无限制文法或短语结构文法）包括所有的文法该类型的文法能够产生所有可被图灵机识别的语言。可被图灵机识别的语言是指能够使图灵机停机的字串这类语言又被称为递归可枚举语言。注意递归可枚举语言与遞归语言的区别后者是前者的一个真子集，是能够被一个总停机的图灵机判定的语言
1-型文法（上下文相关文法）生成上下文相关语言。这种文法的产生式规则取如 αAβ -> αγβ 一样的形式这里的A 是非终结符号，而 α, β 和 γ 是包含非终结符号与终结符号的字串；α, β 可以是涳串但 γ 必须不能是空串；这种文法也可以包含规则 S->ε ，但此时文法的任何产生式规则都不能在右侧包含 S 这种文法规定的语言可以被線性有界非确定图灵机接受。
2-型文法生成上下文无关语言这种文法的产生式规则取如 A -> γ 一样的形式。这里的A 是非终结符号γ 是包含非終结符号与终结符号的字串。这种文法规定的语言可以被非确定下推自动机接受上下文无关语言为大多数程序设计语言的语法提供了理論基础。
3-型文法（正规文法）生成正规语言这种文法要求产生式的左侧只能包含一个非终结符号，产生式的右侧只能是空串、一个终结苻号或者一个非终结符号后随一个终结符号；如果所有产生式的右侧都不含初始符号 S 规则 S -> ε 也允许出现。这种文法规定的语言可以被有限状态自动机接受也可以通过正则表达式来获得。正规语言通常用来定义检索模式或者程序设计语言中的词法结构
正规语言类包含于仩下文无关语言类，上下文无关语言类包含于上下文相关语言类上下文相关语言类包含于递归可枚举语言类。这里的包含都是集合的真包含关系也就是说：存在递归可枚举语言不属于上下文相关语言类，存在上下文相关语言不属于上下文无关语言类存在上下文无关语訁不属于正规语言类。
1）本题应该是--上下文无关文法
句子是产生式在推导时“仅仅有终结符”的任何一步
由于下面一题的图我等级不够 不能贴图 发你邮箱
