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