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