Category:計算モデル
ゼノン機械
Zeno machineラビンオートマトン
Rabin automaton交替性チューリング機械
Alternating Turing machineペトリネット
Petri net状態遷移系
Transition systemアクターモデル
Actor model確率的チューリング機械
Probabilistic Turing machine線形拘束オートマトン
Linear bounded automatonプッシュダウン・オートマトン
Pushdown automatonビリヤードボール・コンピュータ
Billiard-ball computer