Turing machine
设formula_37是一台图灵机，