Category:有限オートマトン
決定性有限オートマトン
Deterministic finite automaton
接尾辞オートマトン
Suffix automaton
ムーア・マシン
Moore machine
マイヒル–ネローデの定理
Myhill–Nerode theorem
部分集合構成法
Powerset construction
グルシコフ法
Glushkov's construction algorithm
クローン–ローズの定理
Krohn–Rhodes theory
トライ (データ構造)
Trie
正規言語の反復補題
Pumping lemma for regular languages
正規言語
Regular language
非決定性有限オートマトン
Nondeterministic finite automaton
有限オートマトン
Finite-state machine