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