Similar to 決定性有限オートマトン
神託機械
Oracle machine
スタックマシン
Stack machine
ゼノン機械
Zeno machine
線形拘束オートマトン
Linear bounded automaton
タグシステム
Tag system
抽象機械
Abstract machine
チューリングマシン
Turing machine
データ駆動
データフロー
Dataflow非決定性チューリングマシン
Nondeterministic Turing machine
表示的意味論
Denotational semantics
ビリヤードボール・コンピュータ
Billiard-ball computer
プッシュダウン・オートマトン
Pushdown automaton
プロセス計算
Process calculus
並列ランダムアクセス機械
Parallel RAM
ペトリネット
Petri net
ミーリ・マシン
Mealy machine
要求駆動
ラビンオートマトン
Rabin automaton
量子回路
Quantum circuit
レジスタマシン
Register machine
正規言語
Regular language
正規言語の反復補題
Pumping lemma for regular languages
接尾辞オートマトン
Suffix automaton
トライ (データ構造)
Trie
部分集合構成法
Powerset construction
マイヒル–ネローデの定理
Myhill–Nerode theorem
ムーア・マシン
Moore machine