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