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