オートマトン
チューリングマシン (Turing Machine) 決定的チューリングマシン (Deterministic Turing Machine, DTM) 非決定的チューリングマシン (Nondeterministic Turing Machine, NTM)