Similar to 部分集合構成法
マイヒル–ネローデの定理
Myhill–Nerode theorem
グルシコフ法
Glushkov's construction algorithm
正規言語
Regular language
正規言語の反復補題
Pumping lemma for regular languages
形式言語
Formal language
Parsing Expression Grammar
Parsing expression grammar
左再帰
Left recursion
文脈自由言語
Context-free language
L-system
L-system
Mizar
Mizar system
アルファベット (計算機科学)
Alphabet (formal languages)
0
0▼-1 trends
1
1
2
2
3
3
4
4
5
5
6
6
7
7
8
8▼-1 trends
9
9
12345679
有限オートマトン
Finite-state machine
決定性有限オートマトン
Deterministic finite automaton
接尾辞オートマトン
Suffix automaton
トライ (データ構造)
Trie
非決定性有限オートマトン
Nondeterministic finite automaton
ムーア・マシン
Moore machine