Category:計算モデル
非決定性有限オートマトン
Nondeterministic finite automaton
表示的意味論
Denotational semantics
状態遷移表
State-transition table
プッシュダウン・オートマトン
Pushdown automaton可逆計算
Reversible computing
有限オートマトン
Finite-state machine
決定性有限オートマトン
Deterministic finite automaton
自動微分
Automatic differentiation
データ駆動
状態遷移図
State diagram
オートマトン
Automata theory