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

Question

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

Answer 1

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

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

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

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

当然。

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

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