Category:計算モデル
要求駆動
量子回路
Quantum circuit
アクターモデル
Actor model
タグシステム
Tag system
ペトリネット
Petri net
抽象機械
Abstract machine
状態遷移表
State-transition table
プッシュダウン・オートマトン
Pushdown automaton
決定性有限オートマトン
Deterministic finite automaton
状態遷移図
State diagram
有限オートマトン
Finite-state machine