Turing machine
定理：对于任意一个非确定型图灵机formula_8，存在一个确定型图灵机formula_26，使得它们的语言相等，即formula_27。