Category:計算モデル
チューリングマシン
Turing machine▲1 trends決定性有限オートマトン
Deterministic finite automaton有限オートマトン
Finite-state machine状態遷移図
State diagram非決定性有限オートマトン
Nondeterministic finite automatonデータ駆動
オートマトン
Automata theory自動微分
Automatic differentiationデータフロー
Dataflow神託機械
Oracle machineスタックマシン
Stack machineレジスタマシン
Register machine抽象機械
Abstract machine計算モデル
Model of computationミーリ・マシン
Mealy machine量子回路
Quantum circuit表示的意味論
Denotational semantics並列ランダムアクセス機械
Parallel RAMタグシステム
Tag system要求駆動
非決定性チューリングマシン
Nondeterministic Turing machineプロセス計算
Process calculusオペランドスタック
拡張階層化状態遷移表
Communicating Sequential Processes
Communicating sequential processesFRACTRAN
FRACTRANOISC
One-instruction set computer状態遷移表
State-transition table