每个 LL(1) 文法也是 LR(0) 文法吗？

Question

我知道每个 LL(1) 也是一个 LR(1)。但是 LL(1) 和 LR(0) 之间的关系呢，LL(1) 也可以是 LR(0) 吗？

Answer 1

你问两个问题，一个在标题中，另一个在帖子正文中。两者都没有说明您是在询问语言还是语法，但基本答案是相同的：

1. 所有 LL(1) 语言都是 LR(0) 吗？

   不可以。同时包含字符串和该字符串的适当前缀的语言不能是 LR(0)。但是许多 LL(1) 语言都有这种形式。

2. 某些 LL(1) 语言是 LR(0) 吗？

   当然。

3. （未提出的问题）任何 LR(0) 语言不是LL(1)。

   是的。例如，语言是 LR(0)，但它没有 LL(1) 语法。{ambnc | m≥n≥0}