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