computation-theory
-
用于二进制数加法和比较的图灵机
-
设计一个 PDA，其中包含所有非 ww^R 形式的 0 和 1 字符串
-
我们如何使用泵引理证明这种语言是不规则的？
-
如何构造 L={a^nb^m where n<=m<=2n} 的下推自动机？
-
能否在这个最小化的 DFA 中移除不可达状态？
-
上下文无关语言是否是确定性上下文无关语言
-
如果 DFA 被最小化，是否保证它的补码也被最小化？
-
验证以下答案是否正确？
-
将 SAT 降低到 HALT
-
为什么 Regexp 有超时方法，而理论上它们不应该有？
-
字符串中 A 数量的常规语言
-
证明 PATH 问题不是 NP 完全问题
-
离散优化——从得分矩阵的每一行和每一列中恰好选择 N 项
-
这个 DFA 接受我对语言的描述吗？
-
包含相等数量的 a 和 b 的语言 CFG
-
具有泵引理的语言的规律性
-
是否存在仅由 1 个元素组成的非 RE 语言？
-
将除法保存到变量并使用变量或重新计算两次更快？
-
子数组内的最优最大差
-
正则表达式简化问题