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