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