有人能解释为什么这个语法不能被LL(1)解析器解析吗？
这个语法不能被LL(1)解析器解析的原因有多种可能性。以下是一些可能的原因：
- 左递归：LL(1)解析器不能处理直接左递归的产生式。左递归指的是产生式右侧的非终结符以自身开头。如果语法中存在左递归，LL(1)解析器将无法选择正确的产生式，导致解析失败。
- 公共前缀：LL(1)解析器要求产生式的右部首符号是唯一的，以便做出正确的选择。如果存在多个产生式具有相同的首符号，LL(1)解析器将无法确定选择哪个产生式，导致解析失败。
- 二义性：如果语法存在二义性，即存在多个解析树可以解释同一个输入串，LL(1)解析器将无法确定选择哪个解析树，导致解析失败。
- First/Follow集冲突：LL(1)解析器使用First集和Follow集来进行预测分析，如果存在First集和Follow集的冲突，LL(1)解析器将无法正确预测产生式的选择，导致解析失败。
综上所述，以上是一些可能导致语法不能被LL(1)解析器解析的原因。针对具体的语法，需要进一步分析和调试才能确定具体的原因。
相关·内容
2回答
Java或LL解析
、、、
我的一位老师说，Java不能被解析。我不明白这一点，不知道这是不是真的。
我搜索了Java 8的语法，发现了以下内容：
但是，即使我试图分析语法，我也不明白LL语法分析的问题。有没有人知道这是真的，是否知道一个科学的证据，或只是可以向我解释，为什么不可能找到一个语法构造的Java，可以被解析？
非常感谢大家和女孩们。
浏览 1提问于2014-09-17得票数 4
回答已采纳
1回答
所以我有一个家庭作业，我花了两个多小时试图找出为什么这个语法在LL解析器上不能工作：
<A> → a <B>
<A> → a b <C>
<B> → b d <D>
<C> → d <E>
<D> → m n
<E> → x y
有人能给我指个方向吗？我知道LL可能会出错的一种方式是，如果它陷入了无限循环，而我不相信它会在这里发生。
谢谢
浏览 0提问于2013-03-08得票数 0
2回答
LALR与LL解析器
、、、、
我一直在使用lex/yacc，现在我正在尝试切换到ANTLR。主要的问题是ANTLR是一个LL(*)解析器，而不像yacc是LALR。我习惯于自下而上地思考，我不太清楚LL语法的优点是什么。人们说，LL语法现在更容易理解，也更受欢迎。但是LR解析器似乎更强大，比如LL解析器不能处理左递归，尽管似乎有一些变通方法。
所以问题是LL文法比LALR有什么优势？如果有人能给我举一些例子，我将不胜感激。链接到有用的文章也是很棒的。
提前感谢您的帮助！
(我认为这是一个很好的资源：，但是如果有一些例子会更好。)
浏览 0提问于2012-08-29得票数 18
回答已采纳
1回答
标记的语法限制向前看
、、、
我知道对语法有两种类型的限制，它们与递归下降解析器一起使用。
语法不能有任何左递归结果。
语法不能只要求象征性地向前看。
我明白第一条，但对第二条限制我有点迷失了。为什么这种限制是必要的，没有限制就能存在？
浏览 2提问于2016-03-24得票数 3
回答已采纳
7回答
我知道LL和LR解析器的基本区别。我还知道GLR、SLR和LALR都是LR解析器的扩展。所以我更详细的问题是...
给定LL(*)解析器和LR解析器的任何变体，有没有一种语言可以用其中一种描述，而不能用另一种描述？或者更简单地说，是否有任何特性或属性不能用其中任何一个来表示？
作为一个具体的例子。如果我使用LL(*)解析器创建一种语言，我是否会遇到我想要添加到我的语言中的所需功能/属性，而这些功能/属性只有使用LR解析器才能实现(反之亦然)？
浏览 0提问于2011-03-29得票数 13
回答已采纳
4回答
编写手动解析器
、、、
我需要手动编写一个解析器。不能在LL(*)和LR (也许可以试试Earley?)之间选择。我应该使用自下而上的解析吗，因为LL的语法会相当困难？
浏览 4提问于2010-11-24得票数 0
2回答
我在互联网上找不到任何关于LL(*)解析器的完整描述，例如ANTLR。
我想知道LL(k)解析器和LL(*)解析器有什么区别，为什么它们不能支持左递归语法，尽管它们很灵活。
浏览 2提问于2010-05-31得票数 9
所以我有一个with语句的简单例子。它在Python3.8和3.9中工作：
class Foo:
def __enter__(self, *args):
print("enter")
def __exit__(self, *args):
print("exit")
with Foo() as f, Foo() as b:
print("Foo")
产出(如预期)：
enter
enter
Foo
exit
exit
但是，如果添加像这样的括号，它只适用于Python3.9：
class
浏览 2提问于2021-08-25得票数 4
回答已采纳
1回答
我想用LR(1)解析器解析以下CFG：
S→A_x_B
A→ε_x_A
B-→ε-B
LR(1)解析器能解析这个语法吗？如果是的话，你能给我看一下解析表吗？如果没有，为什么不能，你怎么知道呢？
浏览 1提问于2014-08-16得票数 1
回答已采纳
1回答
LL(1)语法解释
、、、
我怎么解释这个语法？我不明白为什么有些话是大胆的。
如果我正在为此编写一个解析树/表，我会包含粗体单词吗？我想弄清楚图中的语法是否是LL(1)，但不知道怎么读。任何帮助都将不胜感激！
浏览 2提问于2015-10-08得票数 0
回答已采纳
LL(1)解析器是一种非递归的预测解析器。既然如此，为什么LL(1)文法可以是递归的？这些似乎彼此不一致。
浏览 6提问于2018-07-17得票数 1
有没有人知道能解析C代码的最弱的解析算法是什么？也就是说，C文法是LL(1)，LR(0)，LALR(1)，等等？我很好奇，因为作为一个副项目，我有兴趣为这些家族中的一个编写一个解析器生成器，并希望最终能够为另一个副项目解析C代码。
浏览 4提问于2011-01-25得票数 10
回答已采纳
我使用内置模块获取当前Python版本所有关键字的列表。我就是这样做的：
>>> import keyword
>>> print(keyword.kwlist)
['False', 'None', 'True', '__peg_parser__', 'and', 'as', 'assert', 'async', 'await', 'break', 'class', 'cont
浏览 1提问于2020-12-29得票数 58
回答已采纳
1回答
在编译器构造中，一个主要的歧义问题是悬挂其他。正如Aho、Lam、Sethi和Ullman的“编译器:原则、技术和工具手册”中提到的那样，LL(1)解析器不能使用悬挂Sethi的语法。
它真的不能被处理为LL(1)吗？
浏览 5提问于2012-04-13得票数 3
回答已采纳
我有一个日志文件中的日期，格式如下："dMMyyHHmmss“。
由于我想抛出一个异常，如果找到的格式不是那样的，所以我使用DateTime.ParseExact。问题是，我得到了一个包含以下消息的FormatException：
“'String”.“未被识别为有效的DateTime。
效仿的代码是：
var format = "dMMyyHHmmss";
var date = new DateTime(2018, 1, 1, 1, 1, 1);
var strDate = date.ToString(format);
date = DateTime
浏览 0提问于2018-08-28得票数 2
回答已采纳
1回答
LL和LR句法分析的差异
、、、
目前正在研究上下文无关语法和解析它们的方法。据我理解，上下文无关语法可以通过自顶向下/LL或自下而上/LR进行解析。正确的理解是，LL解析器在解析语法之前，需要语法有严格明确的生产规则吗？而LR解析器，另一方面，也要求语法是明确的，但不必重写任何模糊的生产规则，额外的优先规则可以添加到生产规则，以解决其歧义？但是，未来如何适应这一切呢？
浏览 6提问于2020-10-22得票数 1
回答已采纳
1回答
LL和递归下降解析器之间的区别？
、、、、
我最近一直在尝试教自己解析器(用于语言/上下文无关语法)是如何工作的，除了一件事之外，大部分似乎都是有意义的。我特别关注LL(k)文法，它的两个主要算法似乎是 (使用堆栈/解析表)和 (简单地使用递归)。
据我所知，递归下降算法适用于所有LL(k)文法，甚至更多，而LL解析器适用于所有LL(k)文法。然而，递归下降解析器的实现显然比LL解析器简单得多(就像LL解析器比LR解析器更简单一样)。
所以我的问题是，当使用这两种算法中的任何一种时，人们可能会遇到什么优点/问题？为什么人们会选择LL而不是递归下降，因为它在相同的语法集上工作，并且更难实现？
浏览 166提问于2009-06-25得票数 86
回答已采纳
1回答
我想做一个python程序，使用PLY来解析Javascript文件，我没有找到任何实现ECMAScript的解析器的源代码，使用PLY的Javascript规则。
我找到的唯一的东西是一些ANTLR语法文件来解析javascript和ecmascript：
ANTLR语法文件可以被修改为PLY规则吗?如果可以，如何以半自动的方式完成，我需要解析语法文件吗？除了使用ANTLR语法文件之外，还有其他的解决方法吗？
浏览 3提问于2012-08-16得票数 1
回答已采纳
因此，我所读到的一切都表明，CFG中的左递归规则会无限遍历，并继续演示将其转换为右递归规则的过程，并使用alpha和beta术语来表示多个非终端(我认为这部分是正确的)。因此，在我看来，在处理LL解析器时留下了递归的rules=bad。
那么，是否存在遗留递归规则是可接受/可取的情况呢？如果不是，为什么左侧递归规则存在于糟糕的设计或术语中来描述右递归规则的“逆”(术语使用较轻)？
从技术上讲，这不是一个家庭作业问题，但它与我的班级有关。
浏览 0提问于2012-02-08得票数 2
回答已采纳
我很难理解如何使用这个SQL语法来解析下面解析器提供的SQL语句。我被困在‘表引用’和‘连接’结构后发现的时候，哪里令牌。
BNF：
<table reference> ::=
<table name> [ <correlation specification> ]
| <derived table> <correlation specification>
| <joined table>
<joined table> ::=
<cross
浏览 6提问于2016-11-06得票数 1
回答已采纳
1回答
我们在编译器设计类中进行自顶向下的解析。这些例子都是类似java的语言。我决定尝试一种简单的函数式语言来使它变得有趣，所以我使用了PCF ()。不过，我似乎不能把它写进LL(1)语法。我认为问题是函数应用(即两个表达式并列)。我没有得到明确的答案，如何确定这是因为我缺乏技能，还是这是一种没有LL(1)语法或LL(k)的语言。有人能澄清我只是需要更聪明还是根本不存在这样的语法？
基本上，我的PCF版本有点像下面的草图(大写是非终端，"//“开始注释)。我说“类似的东西”，因为我不太相信这一点，我写了许多变体--只是想要一种合理的PCF变体。
请注意，我已经尝试过左因子分解和考虑优先于中间
浏览 1提问于2016-02-29得票数 1
回答已采纳
1回答
下面的语法上下文是免费的吗？我的印象是，当解析器不需要解释已经解析的内容时，语法是上下文自由的。使用下面的语法，这是不必要的，然而，我的同事确信它是上下文敏感的，而不是越少。
问题是，如果不知道X在Y还是Z内，就无法确定X的哪一个选项需要匹配。
X: ( "a" | "a" "b" )
Y: X "b" "c"
Z: X "d"
浏览 5提问于2014-03-16得票数 0
回答已采纳
1回答
我在维基百科上读过这两篇文章，并注意到尽管LR(0)解析器存在，但却没有LL(0)解析器。
据我所读，我理解LL(k)/LR(k)中的k表示解析器可以看到多少个字符，而不是当前正在处理的字符。
所以我的问题是，为什么即使LR(0)存在，也没有LL(0)解析器这样的东西？
浏览 3提问于2013-02-03得票数 21
回答已采纳
1回答
LL解析器与AST的区别
、、、
我目前正在尝试创建一个LL解析器。然而，我已经有了我的BNF语法，但我必须在AST之前创建，我有几个问题。
AST和LL解析器有什么区别？(因为它们都是二叉树)
如何从BNF语法创建AST？( )
我在google上找到了这个教程，它解释了很多关于构建AST的内容，否则，他们就不会解释如何知道我是要选择右分支还是左分支。)
谢谢
浏览 3提问于2015-08-20得票数 0
1回答
我需要为C++ 14创建一个解析器。这个解析器必须使用C++创建，以便支持遗留代码生成重用。我正在考虑使用ANTLR3来实现这一点(因为ANTLR4还没有针对C++代码)。
我怀疑ANTLR3是否能解析C++，因为它不像ANTLR4那样使用自适应LL(*)算法。
浏览 9提问于2016-05-29得票数 2
我现在正在选修编程课的校长。
我们正在学习有关语法的知识。
我发现这本书和讲座有点不清楚，我希望有人能给我提供一个很好的资源。
我找到了一些很好的youtube教程，用于完成状态自动化和确定性状态自动化，但是对于LL(1)语法，我找不到类似的东西。它似乎有一个公平的信息，它只是混淆。寻找一个“简单的步骤”的方法。
祝您周末愉快!祝你们美国人7月4日快乐！
编辑：我理解第一个是如何工作的，但我不清楚下面的内容。
浏览 5提问于2010-07-04得票数 0
回答已采纳
5回答
我正在寻找一个解析器生成器工具，给C#输出和相当快。我的目标是像解析文本一样解析JSON，并从中创建CLR对象。为此，我使用了GOLD解析器引擎，但它对我的需求来说太慢了。有没有人能给我推荐一个又好又快的解析器生成器工具来生成C#代码？我听说过Irony和ANTLR，但没有使用它们的经验。它们能生成更快的解析器吗?或者有没有更好的选择？
浏览 3提问于2011-03-11得票数 6
回答已采纳
我注意到在函数式语言中创建解析器的LL解析器明显缺乏。对于我一直在寻找但没有成功的东西来说，理想的发现是为ANTLR风格的LL(*)语法生成一个Haskell解析器(模数小的语法调整)，并且惊讶于我找到的每一个带有函数语言目标的解析器生成器都是某种LR解析器。
我想将我正在开发的具有功能特性的语言解析器从ANTLR转换为语言本身的自宿主，如果我能够将几乎肯定正确的东西移植到我的语言中(最好是我熟悉的语言，Haskell和Scala)，而不必从头重写它，但最终我可能会这样做，因为核心语言是很小的。
在这一点上，我非常好奇为什么没有这样的LL(*)甚至LL(k)解析器生成器，但是有许多LR生成器，
浏览 3提问于2011-03-31得票数 18
回答已采纳
我担心这两个语法之间非常重要的区别："LL(k)解析器“和”LL(k)语法分析器“。当LL(1)回溯解析器出现问题时，是LL(k)语法的解析器，因为它可以解析语法，但它的不是 LL(k)解析器，因为它不使用k标记从语法中的单个位置向前看，而是通过回溯可能的情况进行探索，而不管它仍然使用k令牌来探索。我说的对吗？
这个问题可能会归结为前瞻的方式。如果向前看实际上还在用回溯方式处理语法，这并不意味着它就是LL(k)解析器。要成为LL(k)解析器，解析器不能使用带有回溯机制的语法，因为这样就可以使用“具有回溯的LL(1)解析器来解析LL(k)语法”。我又说对了吗？
我认为这种差异与期望LL(
浏览 4提问于2020-09-16得票数 4
回答已采纳
4回答
我正在尝试用编写一个小型解析器。不幸的是我得到了一个“减少冲突”。语法不是我的强项，我只需要做一件小事。下面是产生错误的简化语法：
ExpressionTerm := "asd"
LogicalExpression :=
ExpressionTerm |
LogicalExpression "AND" LogicalExpression |
LogicalExpression "OR" LogicalExpression
“减少冲突”意味着什么?我该如何解决？我认为，这意味着我的语法是模棱两可的，但我不能充分扭曲我的逻辑，
浏览 1提问于2009-05-26得票数 6
回答已采纳
我有一个简单的问题:如果一种语言是LL(0)，它能有多个单词吗？
我认为答案是否定的，因为如果有两个词，你就不能读它们来分辨出哪一个词。
浏览 1提问于2013-06-01得票数 1
3回答
YAML格式无效？
、、、
有人能解释一下为什么这个YAML无效吗？
playing_song_artist: Playing song, {{ song_name }} by {{ artist }}
playing_playlist: {{ action }} playlist {{ playlist_name }}
第一行很好，但我不知道第二行有什么问题.
expected <block end>, but found '<scalar>'
in "<string>", line 3, column 32:
playing_playl
浏览 1提问于2016-12-30得票数 1
回答已采纳
1回答
我相信每一个读过它的人都熟悉悬空的其他模糊。因此，我将跳过解释。我在一本编译器的书(龙书)上找到了一种不含糊的语法，表示IF和ELSE。这就是了。
stmt->matched_stmt | open_stmt
matched_stmt->if exp then matched_stmt else matched_stmt | other
open_stmt->if exp then stmt | if exp then matched_stmt else open_stmt
问题是：
打开_ stmt -> if exp，则stmt\如果exp，则matched_st
浏览 0提问于2015-09-29得票数 0
回答已采纳
很抱歉我问了这么个业余的问题。我有一个LL文法，我想写一个LR文法。我是否可以使用LL语法，对它进行最小的语法修改，以适应LR解析器并使用它？这是个坏主意吗？它们之间是否存在无法翻译的结构差异？
浏览 23提问于2021-08-20得票数 0
有一段时间，我对ANTLR不能解析以下上下文无关的语法规则很感兴趣:s→'x‘S 'x’| 'x‘。
对我来说，这似乎并不复杂。
据我所知，ANTLR是目前最强大的LL解析器。有没有其他类型的解析器生成器(LR或其他)能够为此生成解析器？
gr，
科恩
浏览 2提问于2011-02-16得票数 3
3回答
为什么列表理解中的元组需要括号？
、、、、
众所周知，元组不是用括号定义的，而是用逗号来定义的。
元组由由逗号分隔的许多值组成。
因此：
myVar1 = 'a', 'b', 'c'
type(myVar1)
# Result:
<type 'tuple'>
另一个引人注目的例子是：
myVar2 = ('a')
type(myVar2)
# Result:
<type 'str'>
myVar3 = ('a',)
type(myVar3)
# Result:
<type '
浏览 8提问于2018-01-12得票数 8
回答已采纳
据推测，跟随语法不是LL(1)。然而，我找不到这样的理由。我认为它是完美的LL(1)，因为它没有左递归，也没有常见的前缀问题。有人能澄清吗？
浏览 1提问于2015-01-21得票数 2
回答已采纳
1回答
我读到过yacc为LALR(1)语法生成自下而上的解析器。我有一个Java1的语法，可以用来生成三个地址码，严格来说是LALR(1)，但我使用的转换方案使它具有L属性。现在我读到L属性LR语法在自下而上解析过程中不能被翻译。那么，yacc是否可以在这里使用呢？如果是，yacc是如何解决这个问题的？
浏览 3提问于2020-04-16得票数 0
抛出错误的XML代码
<FormattedText htmlText="<h1>Welcome</h1>" id="ft"/>
使用下面的方式添加来自控制器的数据，它正在运行良好的
<FormattedText id="ft"/>
onAfterRendering : function(){
this.getView().byId("ft").setHtmlText("<h1>Welcome from controller</h1>"
浏览 3提问于2017-09-12得票数 0
回答已采纳
2回答
对来说可能是重复的，但是对我来说还不够具体。
python语法是，但我注意到中的一些表达式确实使我感到困惑，例如，下面的函数调用中的参数：
foo(a)
foo(a=a)
对应于以下语法：
argument: ( test [comp_for] |
test '=' test |
'**' test |
'*' test )
test在语法的第一个位置出现了两次。这意味着，仅仅通过查看test，Python无法确定它是test [comp_for]还是test '=&
浏览 2提问于2018-12-03得票数 6
回答已采纳
我刚遇到一个令人头痛的问题..
我尝试将语句拆分成不同的函数，就像我有一个示例语句
start
n turnTo 's'.
n terminate.
end
这两个语句都以'n‘开头，目前我正在写
statement
:
(turnTo_statment|terminate_statment)*
;
turnTo_statment
:
variable 'turnTo' '\'' value '\'' '.'
;
terminate_
浏览 1提问于2012-12-09得票数 1
回答已采纳
2回答
假设我有一个语法：
S -> Aaa
A -> a | ε
显然，这种语法只能解析序列aa和aaa。一个简单的LR(1)解析器(甚至LL)可以在转换成等价语法时解析这些语法：
S -> aaA
A -> a | ε
虽然这些语法是等价的，但是它们生成的解析树是不同的。考虑一下，对于序列aaa
S S
/ \ / \
A aa aa A
| |
a a
语法决定序列是否是语言的一部分，而不是提供在语言中表示它的解析树。未转换的语法不能解析序列(没有更
浏览 0提问于2019-07-08得票数 0
4回答
我知道是在一年前被问到的。
现在是否有任何新的成熟PHP解析器生成器？我的搜索把我逼到了以下几个方面，你对它们有什么看法，还有其他的吗？
Google.com/p/antlrphpruntime/: ANTLR PHP版本，但它似乎是非常测试版，我认为还有很多工作要做。优点是我可以在ANTLR Works工具中编写语法。
pear.php.net/package/PHP_ParserGenerator/docs/0.1.7/ :我试过了，但是与PHP_LexerGenerator一起使用似乎非常复杂。
try /projects/lime/:我没有尝试
BitBucket.or
浏览 0提问于2011-11-03得票数 12
回答已采纳
在所有编程语言的标准规范中，为什么您不能直接将词法分析/布局转换为可插入和工作的语法？
我可以理解，要将它改编成像Flex/Bison、Lex/Yacc、Antlr等这样的东西是不可能的，而且要让人们理解它也是不可能的。
但可以肯定的是，如果它是一个标准规范，它应该是一个简单的复制/粘贴语法布局，而不是结果是大量的shift/reduce错误，这可能会适得其反，从而产生不准确的语法。
换句话说，为什么他们不让语法/解析器工具直接使用它呢？
也许这是一件我不知道的有争议的事情。
谢谢，最好的问候，汤姆。
浏览 2提问于2010-02-18得票数 2
回答已采纳
1回答
有人能解释一下在ruby控制台(版本2.3.4)中为什么要打印散列这些工作吗？
puts({a: 'a', b: 'b'})
puts(a: 'a', b: 'b')
puts a: 'a', b: 'b'
puts [a: 'a', b: 'b'] <<< array length 1 with value of hash
puts Hash[a: 'a', b: 'b']
但这些工作都没有：
puts {a: &
浏览 2提问于2018-05-10得票数 4
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
实时音视频
即时通信 IM
对象存储活动推荐
腾讯云开发者
