当前分类:computation-theory

context-free-grammar - CFG及其逆向

c++ - C++是递归可枚举语言吗?

regular-language - 使用泵送引理的条件 3 证明不规则性

state - 将 Epsilon-NFA 转换为 NFA

regex - 词法分析器中标识符的正则表达式帮助

c++ - 尝试理解简单的大数计算

algorithm - 无向图和城市电源路径

算法:通过最小化所有子列表之间元素总和的最大差异,将值列表分成子集

algorithm - 柯尔莫哥洛夫复杂度的最佳已知上限是多少?

automata - 如何构造 L={a^nb^m where n<=m<=2n} 的下推自动机?

computation-theory - 计算以下代码的代码复杂度

context-free-grammar - 为最多两个 0 的偶数长度字构造 CFG

big-o - Big O 表示法在计算复杂性方面的细微差别

algorithm - 从 Atm 减少到 A(我选择),然后从 A 减少到 Atm

computation-theory - 部分定理: "A language is Turing-recognizable if and only if some enumerator enumerates it"

computer-science - 正则、图灵可判定和图灵可识别是什么意思?

computation-theory - 1^3^n 对于 n>=1 图灵机

lambda - Church 数字中 m 的 0 次方

theory - 正则表达式 0(0+1)*0+1(0+1)*1 的 DFA 是多少?

automata - 如何在最小化相同状态期间对具有死状态的 DFA 进行分区

热门标签: