automata
-
基于语言的 DFA {0,1}
-
为什么要弄清楚一种语言的基数是否是有限的 "decidable" 问题？
-
证明这些语言不是上下文无关的？
-
执行这两个正则表达式
-
Countable 字符串总是 Countable 吗？
-
为什么这个 NFA 不接受空字符串？
-
谁能告诉我给定语言的正则表达式？
-
表明，对于任何语言 L1 和 L2，我们有 (1)。 L1L1^* = L1^*L1L1^*
-
如何判断 DFA 是否接受空字符串？
-
NuSMV 陷入了一个微不足道的僵局
-
使用 NetworkX 有效地检查路径在图中是否有效？
-
构建有限状态机
-
以 3 为底数的非负整数
-
(00+1)* 的逆同态
-
以 1 和 2 的形式为整数查找二进制的算法
-
有限自动机可以有多个输入状态吗？
-
设计接受语言 L= {a^2 b^2n: n>=1} 的图灵机
-
图灵机：取两个数字的mod？
-
尝试绘制非确定性有限自动机
-
在自动机中找到 2 个 pdf（2 个堆栈）中的中心字母