图灵机
设formula_37是一台图灵机，