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