图灵机
对于非确定型图灵机formula_8，构造一个确定型图灵机formula_26如下：