显示语法 S-> aS | aSbS |Ɛ是模棱两可的,并找到明确的语法

问题描述

我有这个问题:

显示语法。 S-> aS | aSbS |Ɛ是模棱两可的并且找到了明确的语法。

我想尽一切可能从互联网上学习歧义文法,但大多数尝试了相同的旧示例,我觉得他们没有正确地传达将歧义文法转换为歧义文法的方法。我知道没有一种确定的方法可以解决这个问题。我尝试了一种尝试性的尝试方法,这就是我得到的:

首先证明给定的语法是模棱两可的:尝试从上述语法中获得aab

您会发现至少有两种方法可以解决此问题。

所以我考虑了一下,并提出了使用“命中和尝试”的解决方案。

S-> aT |ε T-> aTbT | epsilon

我没有正确性的证明,也没有太多为什么要提出这个建议的扎实思想,但是我至少不能使用这种新语法为aab制作两个不同的解析树。

这个答案正确吗?如果有人告诉我这实际上是如何完成的以及其背后的原理,而不是像我这样进行尝试和尝试,我将不胜感激。

解决方法

暂无找到可以解决该程序问题的有效方法,小编努力寻找整理中!

如果你已经找到好的解决方法,欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@)