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