Similar to 部分集合構成法
マイヒル–ネローデの定理
Myhill–Nerode theorem
形式言語
Formal language
Parsing Expression Grammar
Parsing expression grammar
左再帰
Left recursion
文脈自由言語
Context-free language
正規言語
Regular language
正規言語の反復補題
Pumping lemma for regular languages
グルシコフ法
Glushkov's construction algorithm
L-system
L-system
Mizar
Mizar system
アルファベット (計算機科学)
Alphabet (formal languages)
0
0
1
1▲1 trends
2
2
3
3▲1 trends
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
構文解析
Parsing