BNF规则到正则表达式
我正在寻找一种方法，以确定BNF语法中的特定规则是否...
如何编写可以在输入为XML的情况下以不同目标语言生成源代码的编译器/解释器？
如果我在错误的地方提问，请原谅并将我定向到更合适...
是否可以确定上下文无关语言的子集？
L是上下文无关的语言，而J是L的子集。J是可判定的吗...
我什至无法开始解决这类无上下文无关的常规语法问题任何指导将不胜感激
我该如何解决？ 我试图通过理解诸如m = 0，n！= 0以...
为什么不能推断出该dafny后置条件？
我已经证明了一些纯粹的存在性引理（没有结果），与...
在自动机和形式语言中：如何显示L是等价关系？
<strong>以下是场景：</strong> 让x和...
如何使用形式验证语言创建带有“自由”变量的模8计数器？
我要完成的任务如下： <blockquote> 实施一个...
对表达式中的子表达式进行分类
假设我有以下 <code>select_expr</code>...
显示不规则抽引引理
我需要关于这个引理案例的帮助： <pre class=...
这个语法的PDA是什么？
对于下面给出的语法，获得相应的PDA： <pre>&...
形式语言理论 - 独特的“最左”和“最右”派生树
我正在学习形式语言理论并做分配给我的练习，我发现...
类似于 /<command> [arg0|arg1] 的符号名称
我知道有一种表示法或约定，例如描述命令的用法（例...
包含 1011 作为子字符串的 DFA
我必须绘制一个 DFA，它接受包含 1011 的所有字符串...
Haskell 向构造函数添加约束
<em>背景：<br/> 我正在学习关于“语言...