Similar to 正規言語
グルシコフ法
Glushkov's construction algorithm
正規言語の反復補題
Pumping lemma for regular languages
部分集合構成法
Powerset construction
マイヒル–ネローデの定理
Myhill–Nerode theorem
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
数学
Mathematics▲1 trends
0.999...
0.999...
0次元
Zero-dimensional space
0の0乗
Zero to the power of zero