在形式语言理论中，无上下文语法（CFG）是受特殊约束约束的语法：左侧（LHS）由单个非终端符号组成。 CFG能够表示一组无上下文语言（CFL）。
A = { w | 的CFG w 具有奇数长度，其中第一个、中间和最后一个符号相等 }，w 来自 {0,1}*（epsilon 在语言中）
A = { w | w 具有奇数长度，其中第一个、中间和最后一个符号相等 }，w 来自 {0,1}*（epsilon 在语言中） ε, 011101010, 10101, 1 在语言中。 让'e'是一个epsilon。 S -> 0X...
我想为一种由以下定义的语言设计 CFG L = { w | {a,b,c}* 其中 w= a^i b^j c^k 且 i+j>k } i+j=k 的情况很容易，但是我无法弄清楚 i+j>k 的情况如何。
我想知道是什么让语言可以用递归下降来解析。例如我们在 {x,y,r} 上有 5 种语言： A = { x^n y^n | n <= k } B = { x^n y^k | n > k } C = { x^k y^n...
你用什么算法来枚举上下文无关文法生成的字符串？ 在没有递归的情况下似乎是可行的，但我不知道在一般情况下该怎么做，m...
找出SDD进行计数 a) 总位数 b) 1 的个数 c) 0 的个数 在二进制字符串中 给定的语法是： D -> L 大号 -> 磅 大号 -> 乙 B -> 0 B -> 1 这里 D, L, B a...
我有以下已转换为正则表达式的 DFA：(12)*[34]+(5[67])* 如何将此 DFA 转换为 BNF 形式的左递归文法？ 我不知道如何开始
是 L = {a^n b^m | n!=3m+1,n,m>=1} CFG？ [关闭]
是 L = {a^n b^m | n!=3m+1,n,m>=1} CFG？ 我试图为它编写语法或 PDA，但我做不到。任何帮助都会得到帮助。
我有一个语法： S->Sa|Sb 我想知道我是否可以将 S->e 假设为语法中的产生式？ IE。， S->Sa|Sb 是否与 S->Sa|Sb|e 相同？ e = 空字符串（epsilon） 我在努力
让 A 成为 {1,2,3} 上的语言。使用 A 和字符串变量 p 和 q，我们在数学上定义了语言 B {0,1,2,3}： B = { p0q1 | p 为空或者是 A 中的字符串，y 由一个或...
我的任务是编写生成 C 风格数组声明的上下文无关语法； int a[5], b[10][2]; 浮动 x[10], m[3][3]; 这就是我所做的： S -> 标清 D-> TL； T->在...
/* 随意必须是文件名 */ 语法语法； /* 非终结符以小写开头 */ 编：（评论|声明|NEWLINE|SPACE|定义|声明）*EOF； 评论： '(*' (ANYCHAR|VARIA...
为 L = {a^i b^j c^k | 提供上下文无关语法i+k > j and i, j, k ≥ 0} [关闭]
在字母表 Σ = {a,b,c} 上为 L 提供上下文无关文法，其中 L = {a^ib^jc^k| i+k > j 且 i, j, k ≥ 0} 你能帮我证明吗？
如何在我的 CFG 中修复此错误，解析器将其显示为选择冲突，我不明白为什么因为它是可选的可为空的？
解析器将此显示为选择冲突，我不明白为什么因为它是可选的可为空？ 在非终端规则中检测到选择冲突：OperatorClause 1: 运算符子句 ->
我正在用 JS 编写一个解析器组合器库，能够表达和评估 EBNF 样式的 CFG（语法），例如可以在此处验证/验证。 例如，EBNF 文法 S := ("a" | (...
我在野牛中有以下语法会产生移位/减少冲突： %token a ％开始一个 %% 答：B C | /* 空的 */ ; 乙：乙乙 ; E：D E | /* 空的 */ ; D：错误 ; C：错误 ; 我怎样才能重写...
我的Prolog代码如下：expression-->first,operator,second.first-->[X].operator-->['+'];['-'].second-->[X]. 编译后，机器在命令中响应 "是"......。
在Prolog中处理语法规则时，是否可以定义无限数量的终端？下面的例子描述了这个问题：selection-->([if,'('),condition,[')',then,'{'],...。
我正在努力构建一个好的CFG，L={xE{0,1}*。
我在试图为下面的语言找出一个无上下文的语法时遇到了一些问题。L = { a^x b^y : y>=x, y -x是奇数 }。目前，我有以下，但不工作......