编译原理-文法

P->：P定义为a， 左边 非终结符 右边 非终结符与终结符的串
下面一个文法的例子

从文法的四元组角度来描述这个文法
红色表示终结符
绿色非终结符
蓝色开始符号
产生式集合

如何根据上下文无关文法确定其所描述的语言呢？

->表示 定义为，=>表示直接推出

例子如下：

例题如下：

这个式子只有终结符 i，满足。
这个式子可以通过推导出来


这个G1文法的开始符为A，A定义为c或者Ab，A是非终结符，b，c是终结符
从文法A可能的推导是什么





下面是最左推导

一颗语法树是不同推导过程的共性抽象

如果文法出现这个情况，就说明这个文法是二义的


如何判断一个文法不是二义的呢？


上下文无关文法就是2型文法


1型长度要短

3型 右边只能是终结符，或者终结符+非终结符串（非终结符串只能出现在右边）


这就是上下文有关文法，因为B要如何处理要看他前面的符号
程序设计语言


超出上下文无关文法描述的部分，一般放到语义分析中