Category:計算モデル
チューリングマシン
Turing machine
神託機械
Oracle machine非決定性チューリングマシン
Nondeterministic Turing machine
計算モデル
Model of computation
量子回路
Quantum circuit
ペトリネット
Petri net
ゼノン機械
Zeno machine
プロセス計算
Process calculus
線形拘束オートマトン
Linear bounded automaton
オペランドスタック
拡張階層化状態遷移表
Communicating Sequential Processes
Communicating sequential processes
確率的チューリング機械
Probabilistic Turing machineラビンオートマトン
Rabin automaton
レジスタマシン
Register machine
交替性チューリング機械
Alternating Turing machine
ビリヤードボール・コンピュータ
Billiard-ball computer
状態遷移系
Transition system
要求駆動
ミーリ・マシン
Mealy machine
データフロー
Dataflow
タグシステム
Tag systemOISC
One-instruction set computer
アクターモデル
Actor model
抽象機械
Abstract machine
並列ランダムアクセス機械
Parallel RAM
非決定性有限オートマトン
Nondeterministic finite automaton状態遷移表
State-transition table