据我所知,可以使图灵机执行在磁带上编码的指令的循环或迭代。这可以通过确定行分隔符并使Turing机器返回直到达到行分隔符的特定计数(即在循环内部)来完成。但是,图灵机还能执行递归程序吗? 有人可以描述这种图灵机的各种细节吗? 我想,如果可以通过图灵机执行递归,那么还可以执行Quicksort吗?
computability turing-machines computation computation-theory
computability ×1
computation ×1
computation-theory ×1
turing-machines ×1