Similar to マイヒル–ネローデの定理
部分集合構成法
Powerset construction
正規言語
Regular language
正規言語の反復補題
Pumping lemma for regular languages
グルシコフ法
Glushkov's construction algorithm
Annals of Mathematics
Annals of Mathematics
Axiom (数式処理システム)
Axiom (computer algebra system)
L-system
L-system
Mizar
Mizar system
アルファベット (計算機科学)
Alphabet (formal languages)
0
0▲1 trends
1
1▲8 trends
2
2
3
3
4
4
5
5
6
6
7
7
8
8
9
9
12345679
アローの不可能性定理
Arrow's impossibility theorem▼-1 trends
三角形三色問題
シャノンの通信路符号化定理
Noisy-channel coding theorem
スプレイグ・グランディの定理
Sprague–Grundy theorem
ファン・デル・ヴェルデンの定理
Van der Waerden's theorem
有限オートマトン
Finite-state machine
決定性有限オートマトン
Deterministic finite automaton
接尾辞オートマトン
Suffix automaton