Turing machine
可以证明，对于任意一个多带图灵机 formula_19 ，存在一个单带图灵机 formula_20 ，满足 formula_21。