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