如果上下文无关文法G对于某个字符串w∈L(G)具有不止一个派生树，则称为歧义文法。从该语法生成的某些字符串存在多个最右或最左派生。

问题

检查语法G是否具有生产规则-

X→X + X | X * X | X |一种

是否模棱两可。

解

让我们找出字符串“ a + a * a”的派生树。它有两个最左边的派生。

推导1 – X→X + X→a + X→a + X * X→a + a * X→a + a * a

解析树1-

导数2 – X→X * X→X + X * X→a + X * X→a + a * X→a + a * a

解析树2-

由于单个字符串“ a + a * a”有两个解析树，因此语法G是不明确的。