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