Turing machine
台图灵机 "M"，当 "M" 的输入 ω ∈ "S" 时，"M" 一定会