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