Category:計算モデル
チューリングマシン
Turing machine▲1 trends
オートマトン
Automata theory
量子回路
Quantum circuit
非決定性有限オートマトン
Nondeterministic finite automaton
アクターモデル
Actor model
スタックマシン
Stack machine
プッシュダウン・オートマトン
Pushdown automaton非決定性チューリングマシン
Nondeterministic Turing machine
状態遷移図
State diagram
並列ランダムアクセス機械
Parallel RAM
計算モデル
Model of computation
有限オートマトン
Finite-state machine
プロセス計算
Process calculus
ミーリ・マシン
Mealy machine
決定性有限オートマトン
Deterministic finite automaton
表示的意味論
Denotational semantics
状態遷移表
State-transition table
抽象機械
Abstract machine
自動微分
Automatic differentiation
要求駆動
ゼノン機械
Zeno machine
ペトリネット
Petri net
ビリヤードボール・コンピュータ
Billiard-ball computer
オペランドスタック
拡張階層化状態遷移表
Communicating Sequential Processes
Communicating sequential processes
状態遷移系
Transition systemラビンオートマトン
Rabin automaton