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