Parsing 每个LL(1)语法也是LR(0)语法吗?

Parsing 每个LL(1)语法也是LR(0)语法吗?,parsing,grammar,ll,lr,Parsing,Grammar,Ll,Lr,我知道每个LL(1)也是一个LR(1)。但是LL(1)和LR(0)之间的关系如何,LL(1)也可以是LR(0)吗 你问了两个问题,一个在标题中,另一个在文章正文中。这两种方法都没有具体说明您询问的是语言还是语法,但基本答案是相同的: 所有LL(1)语言是否都是LR(0) 不可以。同时包含字符串和该字符串的正确前缀的语言不能是LR(0)。但许多LL(1)语言都有这种形式 有些LL(1)语言是LR(0)吗 当然 (未问问题)是任何LR(0)语言,而不是LL(1) 对。例如,语言{ambnc|m≥N≥

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

你问了两个问题,一个在标题中,另一个在文章正文中。这两种方法都没有具体说明您询问的是语言还是语法,但基本答案是相同的:

  • 所有LL(1)语言是否都是LR(0)

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

  • 有些LL(1)语言是LR(0)吗

    当然

  • (未问问题)是任何LR(0)语言,而不是LL(1)

    对。例如,语言
    {ambnc|m≥N≥0}
    是LR(0),但它没有LL(1)语法


  • 对于计算机科学SE(专注于理论)来说,这可能是一个比StackOverflow(专注于实践)更好的问题。。如果我们在LL(1)表中没有得到任何重复的语法项。。那就是语法。。虽然这是左因素。。可以是LR(0)(当且仅当LR(0)表上的语法没有冲突(shift/reduce)时)。?@bopia:如果LR(0)表没有冲突,则语法是LR(0)。你能给出{a^mb^n|m的LR(0)语法吗≥N≥请讲0}语言?@rici我猜你的意思是
    S->T|a S;T->a T b
    。根据粘贴'S->T,这不是LR(0)。S->a S。T->。T->a T b.`@qznc:你在两个方面都是对的:我的意思是
    S->a S
    ,语法不是LR(0),我真的应该知道,因为它与空字符串匹配,具有λ规则的语法不能是LR(0)。在您的更正中,
    X
    是不必要的;您可以替换
    S->X。我用
    S->tc.
    纠正了原来的帖子。谢谢