Turing machine
设formula_20是一台图灵机，将字符串