Similar to 正規言語の反復補題
5項補題
Five lemma9項補題
Nine lemma
オグデンの補題
Ogden's lemma
Δ-システム補題
Sunflower (mathematics)▲1 trends
反復補題
Pumping lemma文脈自由言語の反復補題
Pumping lemma for context-free languages
グルシコフ法
Glushkov's construction algorithm
正規言語
Regular language
部分集合構成法
Powerset construction
マイヒル–ネローデの定理
Myhill–Nerode theorem
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▼-3 trends
1
1
2
2
3
3
4
4
5
5
6
6
7
7
8
8
9
9
12345679
補題
Lemma (mathematics)アルティン・リースの補題
Artin–Rees lemma