computation-theory
-
C 乘方求幂的实现
-
用确定性图灵机模拟非确定性图灵机[JFLAP]
-
常规文法
-
图灵机中的宏究竟是如何工作的？
-
下推自动机如何知道如何读取回文？
-
1^3^n 对于 n>=1 图灵机
-
DFA 和正则表达式
-
推导有限自动机识别的语言的正则文法
-
由 1 的 NFA 分隔的一对零？
-
假设space H1 的VC 维度大于假设space H2 的VC 维度
-
什么都不接受的图灵机如何不是递归可枚举的？
-
算法的复杂性和问题的复杂性。有什么区别？
-
是否有可能在没有实际拥有原始密码的情况下找到密码的 md5 散列
-
如果一个程序的两个版本执行相同的工作，但它使用不同的代码，这叫做什么？
-
证明函数的不可判定性（使用 empty/non-empty 交集）
-
如何创建接受语言的下推自动机？
-
证明半可判定语言
-
激活 AND 节点和 OR 节点
-
证明这种语言是否可判定和可识别
-
一个不属于输入语言的字符串怎么能让图灵机陷入死循环？