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