证明下面的语法是模棱两可的

Question

这个语法是在我的期中考试中，但我找不到两个不同的语法分析树，它要求表明它是模棱两可的

K -> QK | ε
Q -> Qa | aQb | ab

如果我没有发现它有递归的功能，那我要写的不是模棱两可的，谢谢。

Answer 1

K -> QK -> QQK -> QQ
  -> abQ -> abaQb -> abaQab
  -> abaabab

K -> QK -> QQK -> QQQK -> QQQ
  -> QaQQ -> abaQQ -> abaabQ
  -> abaabab

编辑以添加一些评论：我不确定是否有解决这些问题的好方法。 寻找可以“做同样的事情”（例如派生更长的字符串）的规则，然后从那里开始。 在这种情况下，问题在于我们可以通过多种方式添加Q。 您也可以尝试向后工作：想象语言中的字符串以及它们在语法中的完成方式。 如果您正在寻找最短的计数器示例，这将很有帮助，因为歧义通常会在这些字符串中相当晚地发生。