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