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