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