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