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