当前分类:turing-machines

turing-machines - 相对于 P、NP、coNP,类 R、RE coRE 之间的关系是什么

c++ - 是否有可以无限期编译的 C++ 代码?

computer-science - 图灵机可以越过磁带的开头吗?

programming-languages - 自动机编程语言

turing-machines - PCP 可以识别吗?

context-free-grammar - 非上下文无关的递归可枚举语言的示例

turing-machines - 有两个堆栈的 PDA 可以接受 RE 语言吗?

integer-division - 如何设计图灵机以进行两个数字的除法?

configuration - 在 Erlang 中实现图灵机

binary - 用于二进制数加法和比较的图灵机

turing-machines - 用于将二进制数转换为一元数的单磁带图灵机?

prolog - 是纯Prolog Turing-complete,如果是,为什么不能实现列表交集?

computer-science - 为什么递归可枚举语言不是不可判定的

computation-theory - 数据记录计算类?

turing-machines - 有没有解决 "Construct a Turing machine ..."问题的简单方法?

turing-machines - 如何创建一个图灵机,它采用 0 - 9 的一位十进制数并输出立方体

finite-automata - 平方根计算图灵机

computation-theory - 是否有任何非 RE-hard 的递归可枚举问题?

c++ - C++是图灵完备的语言吗?

computation-theory - 递归语言

热门标签: