Similar to 状態遷移系
決定性有限オートマトン
Deterministic finite automaton
交替性チューリング機械
Alternating Turing machine
自動微分
Automatic differentiation
状態遷移図
State diagram
状態遷移表
State-transition table
神託機械
Oracle machine
スタックマシン
Stack machine
ゼノン機械
Zeno machine
線形拘束オートマトン
Linear bounded automaton
タグシステム
Tag system
抽象機械
Abstract machine
チューリングマシン
Turing machine
データ駆動
データフロー
Dataflow非決定性チューリングマシン
Nondeterministic Turing machine
非決定性有限オートマトン
Nondeterministic finite automaton
表示的意味論
Denotational semantics
ビリヤードボール・コンピュータ
Billiard-ball computer
プッシュダウン・オートマトン
Pushdown automaton
プロセス計算
Process calculus
並列ランダムアクセス機械
Parallel RAM
ペトリネット
Petri net
ミーリ・マシン
Mealy machine
有限オートマトン
Finite-state machine
要求駆動
ラビンオートマトン
Rabin automaton
量子回路
Quantum circuit
レジスタマシン
Register machine