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