grammar - 是否有固定的方法来确定语法中的歧义？

Question

我们在类里面学习歧义，下面的语法是作为歧义语法的一个例子。我只是没有看到它是如何模棱两可的。是否存在人们用来确定歧义的固定模式或方法，还是就像逻辑谜题一样，您必须通过组合来查找语法中的歧义句子？我在网上读到的例子大多已经给出了模棱两可的句子，但是你如何首先找到那个句子？我很感激任何帮助，谢谢。

< stmt_list> ==> < stmt>

               | < stmt> ; < stmt_list>

< var> ==> A | B | C

< stmt> ==> < var> + < var>

               | < var> - < var>

               | < var>

Answer 1

一般来说，determining whether a grammar is ambiguous or not is undecidable.所以是的，在语法中找到一个歧义的句子会变成一个非常困难的逻辑谜题。不过，解决特定案例和寻找启发式方法是一个活跃的研究领域。这里有一个相当不错的工具来查找歧义:http://www.brics.dk/grammar/ .该网页包含指向解释其工作原理的论文的链接，但老实说，这让我无法理解。