Turing machine
设 "S" ⊆ Σ* 是一个语言，"M" 是一台图灵机，