Turing machine
チューリングマシンを記述するがゆえにその仕様は原始的である。チューリングマシンにも関わらず、状態遷移はテープの内容とテープヘッドの位置だけで表現されるので、有限オートマトンの概念が希薄である。