在形式语言理论中，无上下文语法（CFG）是受特殊约束约束的语法：左侧（LHS）由单个非终端符号组成。 CFG能够表示一组无上下文语言（CFL）。
[提供上下文无关的语法，该语法在Σ= {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 = + | * |（ ）| 。
我想根据给定的上下文无关文法随机生成句子。随机是重要的部分，因为我的语法相当大，并且NLTK会生成所有可能的发音，包括...
我试图从语法删除左recusion，我能做到这一点SOMETIEMES。我显然不知道这些规则，因为我只知道如何通过试错来做到这一点。我看到的规则是这样的：...
考虑这个语法：EXPR :: = LP EXPR RP | EXPR PLUS | MINUS EXPR | EXPR STAR | SLASH EXPR |术语术语:: = INTEGER | FLOAT上下文无关文法被定义为G =（V，Σ，R，S ...
bin（n）bin（2 ^（k + 1）* n + 1）^ R上下文是否空闲？
bin是二进制中的最短数字是否为bin（n）bin（2 ^（k + 1）* n + 1）^ R上下文无关？ k，n属于自然数。我知道bin（n）bin（n + 1）^ R是无上下文的，但我不知道如何解决bin（n）......
我想知道两种语言（一种是常规语言还是另一种语言）之间的连接是否总是不规则，或者输出是否是常规语言。谢谢。
我无法从给定的上下文无关语法中确定语言。我已经得到了一个暗示，该语言有2个部分，但无法想出来。 G =（{S，A，B，C，D，E，Z}，（0,1），R，......
在{a，b}上构造一个语法为{a ^ m b ^ n |的语法0 <= n <= m <= 3n}我不知道如何解决这个问题，我开始做n> = 0 m> = n 3n> = m S - > a ...
如果我有类似var string =“var”;的东西，那么在第一个双引号之后规则会发生变化，而var并不意味着它与文本开头的含义相同。第二次......
我有一个CFG形式的PB：= PB | R | R R：= s我试图通过删除左递归来得到它ll（1）导致PB：= R PB'| R PB'PB'：= PB'| εR：= s然而，我相信，删除......