形式语言的研究涉及有限符号集上的字符串集的定义，描述（生成）和解析（识别）。整数的所有二进制表示的集合，小写拉丁字母表上的所有回文集合，以及不接受自身的图灵机器的所有二进制表示的集合是形式语言的示例。
平衡括号和中括号，其中右括号还关闭所有未完成的左括号（直到前一个左括号）
下面的问题来自书：《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定理证明者是解决该问题的不错选择。现在我想...
给出以下语言：L = {bi | i> 0} U {aibi | i> 0}此语言上下文免费吗？定期？我尝试过考虑，但到目前为止没有结果。.
我知道他们每个人都可以相互转换，但从未真正了解他们的应用程序是什么。通常的infix操作可读性强，但是它在哪里失败，导致...
我知道什么是安全性和活动性属性，以及LT属性的安全性和错误前缀之间的关系。我想了解关闭属性以及为什么关闭安全...
[如何将常规语法转换为有限自动机（FA）？例如，对应于以下规则语法的有限自动机会是什么样？ VN = {S，B，D}（非终端）...