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