在形式语言理论中，无上下文语法（CFG）是受特殊约束约束的语法：左侧（LHS）由单个非终端符号组成。 CFG能够表示一组无上下文语言（CFL）。
以下是我试图简化为LL（1）的一小部分语法：A-> B | C |整数| floatnum | Lpar Drpar |不是A | E A。 B-> F I。 C-> G ...
[设计下推式自动机时，我的输入是{a，b}，现在我可以在扫描它们的同时推入多个a或多个b ...然后在弹出的同时可以弹出多个a或多个...
是L = {a ^ mb ^ nc ^ k |如果（m = n）则（n = k）}还是CFL？
我看到用这种语言，到我们决定m = n时；那么我们就没有b了；所以我们不能用c来惩罚它们。所以，我认为它不应该是CFL。但是下面的解决方案表明它是CFL ...
我正在为一种处理向量的小语言编写翻译。我正在使用Flex和Bison。向量用以下符号声明：v：= <1.4，-2.2，7>因此，它们的分量可以...
[G是一个上下文无关的语法，以终端（a，b）定义，从S开始，并具有带有以下产生规则的变量（A，B，C，D，E，F，G）：S-> aA | BD A-> aA | aAB | aD B-> aB | aC | ...
我正在尝试创建一种生成以下语言的cfg：该语言是否上下文无关，可以由cfg生成？如果是，如何创建生成该语言的语法？我不是...
此问题摘自A. Shen的书“算法与编程。问题与解决方案”。问题本身由M. Sipser传达。作者要求读者定义一个上下文无关的...
我正在尝试创建一种算法来确定以下可确定的问题：给定CFG H，则H⇒*ε。也就是说，H可以在任何数量的步骤中生成空字。该算法必须是...
[提供上下文无关的语法，该语法在Σ= {0,1}上生成以下语言：L = {w∈{0,1} *：| w | = 2k + 1：k≥0}（奇数长度的字符串）我尝试过：S-> AB | 0 | 1 A-> 0A | ^ B-> 1B | ^ ...
我有一个简单的antlr4语法，用于处理文本的变量分配。按顺序分配任务时，我的访问者可以正常工作（示例A），但如果分配不正确，则访问者将失败（示例B）。如何制作...
我想识别“ Str”，“ Int”，“ [Str]”，“ [Int]”，“ [[Str]]”，...我以为我可以做类似（Str | Int | \ [\ 1 \]），其中\ 1自引用该组。我从形式语言理论中知道...
我认为以下内容实际上是LL（1），但我不确定100％。我们是否能够证明这是LL（1）语法，然后，给出的第一和第二组是否正确？我不太了解...
CSG与CFG相似，但是减少符号是多个。因此，我可以只使用CFG解析器来解析CSG并将产量减少到多个终端或非终端吗？像1. S→a bc 2. S→a S B c ...
我正在尝试为以下语言A找到CFG。我已经花了几个小时，但是仍然找不到答案。我也想到了这可能不是上下文无关的语言，但是有...
我有一种上下文无关的语言，我必须为其创建上下文无关的语法以及下推自动机（确定性或非确定性）。我尝试使用不同的生产规则...
语法如下。 S-> SS'|一个| b S'-> a | b以我的理解，从该语法派生的内容将类似于SS'S'S'S'...（0或更多S'），其中每个S或S'都会生成a或b。...
我正在尝试编写LL（1）解析器生成器，但我遇到了语法问题，我知道它是LL（1），但我无法适当考虑它们。例如，考虑语法：S-> As Ao ...
以下内容的Find Context Free Grammer
L = {a ^ n b ^ m c ^ k | n = m + 2k} L = {wE（a，b）* | Na（w）+ 2Nb（w）！= Nc（w）}查找以下（产生规则）的上下文无关文法]]
能否将不遵循算子关联性和优先级规则的BNF语法视为明确的语法？
[考虑此BNF语法： = = = A | B | C = + | * |（ ）| 。