定理：对于任意一个非确定型图灵机formula_8，存在一个确定型图灵机formula_26，使得它们的语言相等，即formula_27。证明：因为非确定型图灵机的计算过程就是一棵树，因此我们只需遍历该树就可以模拟其计算过程。一个简单的想法是利用深度优先搜索来遍历formula_8的计算树，但这样行不通，因为formula_8的某些计算分支可能永远不停机！所以我们可以采用一种在算法设计中称为迭代加深搜索的技巧来遍历formula_8的计算树。具体证明如下：对于非确定型图灵机formula_8，构造一