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