编译原理证明文法的一个句子

① 在编译原理中： 文法S——>SS+|SS*|a能产生什么语言，并验证！ 求高人指导！

为了使问题简化，我们考虑文法S->ss+|a，考虑s->ss*时，只要把+换成*即可。
0层递归是，s->a,文法的语言是{a}。是后缀表达式。
1层以内递归时，文法语言是{a,aa+}。是后缀表达式。
2层以内递归时，文法语言是{a,aa+}.{a,aa+}.{+}。其中.表示连接，是后缀表达式。
依此类推，多少层的递归都是后缀表达式。
把表达式的+换成*后依然为后缀表达式。
下面证明文法产生的语言是所有的以a为变量，以+和*为运算符的后缀表达式。
因为每个表达式都对应一个常规的表达式（如1*2+3就是常规表达式），下面只需证明语言能产生的后缀表达式对应所有的常规表达式。当常规表达式只有一个运算符，对应aa+或aa*。当常规表达式有两个运算符，可写成(表达式1）.{+|*}.(表达式2），因为表达式1和2都只含一个运算符，所以可以用语言表示，上述常规表达式可用后缀表达式（表达式1）.（表达式2）.{+l*}表示。所以不管常规表达式有多少个运算符，都可以由语言的后缀表达式对应。

② 编译原理：证明下面文法G【s】是二义性的

证明：

若文法中存在这样的句型，它具有两棵不同的语法树，则称该文法是二义性文法，二义性文法会引起歧义，应尽量避免。

（S + S）和（S * S）以及（i S * S）和（S + S i）都可以表示i+i*i，所以G(S)：S -> S+S| S*S | (S) | i ；文法具有二义性。

③ 编译原理实现判断是不是一个文法的句子

构造LL(1)语法分析程序，任意输入一个文法符号串，并判断它是否为文法的一个句子。程序要求为该文法构造预测分析表，并按照预测分析算法对输入串进行语法分析，判别程序是否符合已知的语法规则，如果不符合（编译出错），则输出错误信息。

④ 编译原理，证明下面文法G（s）是二义性的。

证明：

若文法中存在这样的句型，它具有两棵不同的语法树，则称该文法是二义性文法，二义性文法会引起歧义，应尽量避免。

（S + S）和（S * S）以及（i S * S）和（S + S i）都可以表示i+i*i，所以G(S)：S -> S+S| S*S | (S) | i ；文法具有二义性。

⑤ 求解编译原理的一道题:设有文法如下

首先要做这题你要知道判别文法类型
包括四个层次：

0-型文法（无限制文法或短语结构文法）包括所有的文法。该类型的文法能够产生所有可被图灵机识别的语言。可被图灵机识别的语言是指能够使图灵机停机的字串，这类语言又被称为递归可枚举语言。注意递归可枚举语言与递归语言的区别，后者是前者的一个真子集，是能够被一个总停机的图灵机判定的语言。
1-型文法（上下文相关文法）生成上下文相关语言。这种文法的产生式规则取如 αAβ -> αγβ 一样的形式。这里的A 是非终结符号，而 α, β 和 γ 是包含非终结符号与终结符号的字串；α, β 可以是空串，但 γ 必须不能是空串；这种文法也可以包含规则 S->ε ，但此时文法的任何产生式规则都不能在右侧包含 S 。这种文法规定的语言可以被线性有界非确定图灵机接受。
2-型文法生成上下文无关语言。这种文法的产生式规则取如 A -> γ 一样的形式。这里的A 是非终结符号，γ 是包含非终结符号与终结符号的字串。这种文法规定的语言可以被非确定下推自动机接受。上下文无关语言为大多数程序设计语言的语法提供了理论基础。
3-型文法（正规文法）生成正规语言。这种文法要求产生式的左侧只能包含一个非终结符号，产生式的右侧只能是空串、一个终结符号或者一个非终结符号后随一个终结符号；如果所有产生式的右侧都不含初始符号 S ，规则 S -> ε 也允许出现。这种文法规定的语言可以被有限状态自动机接受，也可以通过正则表达式来获得。正规语言通常用来定义检索模式或者程序设计语言中的词法结构。
正规语言类包含于上下文无关语言类，上下文无关语言类包含于上下文相关语言类，上下文相关语言类包含于递归可枚举语言类。这里的包含都是集合的真包含关系，也就是说：存在递归可枚举语言不属于上下文相关语言类，存在上下文相关语言不属于上下文无关语言类，存在上下文无关语言不属于正规语言类。

1）本题应该是--上下文无关文法

句子是产生式在推导时“仅仅有终结符”的任何一步
2）%mm%nn 是一个句子

由于下面一题的图我等级不够 不能贴图 发你邮箱

⑥ 编译原理的文法

“文法是以有穷的集合刻画无穷的集合的一个工具”，有穷的集合应该是已经出现的，人们普遍接受的词、词组或句子，无穷的集合就是有穷的集合的词、词组或句子，创造新的集合过程和结果，有待进一步认识接受。
我们的文法规定内涵是已经明确定义的和正在定义（声明）的内容。反映到计算机语言程序中就是编程时已经定义的和正在定义（声明）的字符或字符串。文法可以以表的形式，或词典形式存放。

⑦ 编译原理 文法二义性 语法树

标准答案，请给分！

⑧ 编译原理课程设计：证明一个文法是LR(0)文法 求大神帮忙啊

这个很简单呀，如果一个项目集中不存在既含移进项目又含规约项目或者含有多个规约项目的情况，则该文发是一个LR(0)文法。多以就是要先构造你面临的项目的项目集。然后逐个检查项目集中的各个项目。有不会的继续追问。