形式语言的研究涉及有限符号集上的字符串集的定义，描述（生成）和解析（识别）。整数的所有二进制表示的集合，小写拉丁字母表上的所有回文集合，以及不接受自身的图灵机器的所有二进制表示的集合是形式语言的示例。
我在计算机科学理论的研究中遇到了一些问题...... 谁能解释一下我们如何将上下文无关语法（cfg）转换为相应的下推au的算法...
L ={w∈{a,b}*| 的下推自动机w 包含不同数量的 a 和 b}
我一直在尝试为这种语言找到一个下推自动机，但我无法想出任何令人满意的东西。 我尝试了以下逻辑：对于每次读取，将 A 压入堆栈。永远...
我需要解决这个有关泵送引理的练习： 我不知道如何解决这个问题，教授没有解释清楚。 预先感谢。
我一直在关注合金文档并同时编写规范，但我得到了与文档所说不同的结果： 回想一下，如果没有任何时间运算符，则添加的约束适用......
我正在尝试编写一个正则表达式来匹配带有 ab 和 ba 实例且仅包含 {a,b} 字母的字符串。 我试图这样做仅 |和 * 运算符。我认为这与...
平衡括号和中括号，其中右括号还关闭所有未完成的左括号（直到前一个左括号）
下面的问题来自书：《C 语言中的现代编译器实现》，chapter03, 3.3.(d) 为平衡括号和方括号编写明确的语法， 其中右括号也
为什么这个逻辑等价陈述是正确的？ f ∨ g ∧ h == (f ∨ g) ∧ (f ∨ h)
为什么这个逻辑等价陈述是正确的？ f ∨ g ∧ h == (f ∨ g) ∧ (f ∨ h) 我制作了下面的真值表，这个陈述不成立——它不是逻辑等价的。然而，根据...
我有一个关于自动机理论和形式语言的问题。写出奇数个a和偶数个b的正则表达式？ 2. Evan a 的个数和 b 的奇数个？ 罗...
如何解决 Dafny 中 let-such-that 表达式中的未确定问题？
这是一个例子： 函数 intsetmax(s:set):int 需要|s| > 0 确保 var m := intsetmax(s); m in s && forall i :: i in s ==> m >= i { 变量 x :| x ...
使用 pytorch 对 Transformer seq2seq 任务进行训练的困难
我目前正在使用 vanilla torch.nn.Transformer 执行 seq2seq 任务。 下面提供了我的实现（SimpleTransformer）。我似乎无法使我的模型输出变得不平凡
我的任务是编写生成 C 风格数组声明的上下文无关语法； int a[5], b[10][2]; 浮动 x[10], m[3][3]; 这就是我所做的： S -> 标清 D-> TL； T->在...
我正在研究DFA图，想问一下将两个图合二为一的情况。 问题是为 {x | 创建 DFA 图x 至少包含三个 1 和一个奇数
使用伊莎贝尔定理证明器的证明过程是用编程模式编码，然后用证明模式验证吗？
我的问题是关于Isabelle定理证明器的证明过程。我目前对模型变换的正确性的研究工作很感兴趣。但是，在研究过程中遇到了一些问题 ...
我正在使用F * 0.9.6.0，但我无法让这个简单的程序通过子类型检查：模块测试打开FStar.String let minlen sn = strlen s> = n let maxlen sn = strlen s <= n let ...
需要对这个冗长的DFA单词问题进行更好的解释（CS：形式语言和自动机课程）
我多次阅读此问题，但仍然不太了解。我只需要一些帮助来了解这里的情况。因此，我了解“物种”有三种类型：A，B和...
所以，我很难弄清楚图灵机不会停止的字符串的确切含义。我在某处读到图灵机等效于确定性自动机...
我有兴趣查看两个正则表达式之间是否有任何重叠。我认为最好的方法是将正则表达式转换为不确定的有限自动机，然后查看...
我得到X = {wwR | w∈{0,1,2} *并且wR是w}的倒数是不规则的。并且我必须证明Y = {w | w也是回文}通过X也是不规则的。我一定不能使用抽引引数，所以...
我需要为以下语言构建下推式自动化：L = {a ^ n b ^ m | 2n> = m}有人可以帮我吗？
如何快速开始使用Isabelle的正式语言标准来正式描述建模语言？
我目前正在努力解决模型转换的正确性问题。我阅读了很多文章，发现Isabelle定理证明者是解决该问题的不错选择。现在我想...