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
Disquisitiones Arithmeticae
Disquisitiones Arithmeticae
DPLLアルゴリズム
DPLL algorithm
DTIME
DTIME
L-system
L-system
Mizar
Mizar system
0
0
1
1
2
2
3
3
4
4
5
5
6
6
7
7
8
8
9
9
12345679
アローの不可能性定理
Arrow's impossibility theorem
三角形三色問題
シャノンの通信路符号化定理
Noisy-channel coding theorem
スプレイグ・グランディの定理
Sprague–Grundy theorem
ファン・デル・ヴェルデンの定理
Van der Waerden's theorem