给定文法,确定其语言

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述


在这里插入图片描述
在这里插入图片描述


在这里插入图片描述
在这里插入图片描述


在这里插入图片描述
在这里插入图片描述


给定语言,确定其文法

在这里插入图片描述
方法一定义的文法会产生E+E+E……之类的无限循环,舍去
在这里插入图片描述
在这里插入图片描述


在这里插入图片描述
首先上下文无关文法是2型文法,特征是每个产生式左部都有一个非终结符。

(3)中也可以
S→Ab
A→BAB|a
B→a|b

在这里插入图片描述


3型文法
3型文法是在2型文法的基础上对产生式右部做了限制:
右线性文法:产生式右部是终结符号串或终结符号串接一个非终结符
左线性文法:产生式右部是终结符号串或一个一个非终结符接终结符号串
在这里插入图片描述
(1)
S→aS|ε
(2)
S→aS|aA
A→bA|b

如果条件是n,m≥0:

S→aS|bA|ε
A→bA|ε

(3)

在这里插入图片描述

如果条件是n,m≥1:
S→aS|aB
B→bB|bC
C→cC|c


在这里插入图片描述
首先要了解一个表示十进制数的文法,如下:
在这里插入图片描述
在上面文法的基础上再对其进行改造
(1)在这里插入图片描述
(2)
在这里插入图片描述


语法分析

在这里插入图片描述
首先将文法解释成下面常见的形式:
在这里插入图片描述
eg:(5)i+(i+i)
在这里插入图片描述


例题:
在这里插入图片描述


在这里插入图片描述
在这里插入图片描述
在这里插入图片描述


证明文法是否具有二义性

证明方法:
很简单,一个句型只要能画出两个不同的语法树,就是二义的。


在这里插入图片描述
在这里插入图片描述


在这里插入图片描述
(1)生成的语言是嵌套的括号
(2)
在这里插入图片描述

Logo

开放原子开发者工作坊旨在鼓励更多人参与开源活动,与志同道合的开发者们相互交流开发经验、分享开发心得、获取前沿技术趋势。工作坊有多种形式的开发者活动,如meetup、训练营等,主打技术交流,干货满满,真诚地邀请各位开发者共同参与!

更多推荐