Similar to 形式言語
弱文脈依存言語
Mildly context-sensitive grammar formalismMizar
Mizar systemM系列
Maximum length sequenceアルゴリズム
Algorithm▼-1 trendsアルファベット (計算機科学)
Alphabet (formal languages)正規表現
Regular expressionParsing expression grammar
Parsing expression grammar左再帰
Left recursion部分集合構成法
Powerset construction文脈自由言語
Context-free language素性構造
Feature structureL-system
L-system0
01
12
23
34
4▼-1 trends5
56
6▼-1 trends7
78
89
912345679
理論計算機科学
Theoretical computer scienceカリー=ハワード同型対応
Curry–Howard correspondenceグスタフソンの法則
Gustafson's lawクヌース賞
Knuth Prizeクヌース・ベンディックス完備化アルゴリズム
Knuth–Bendix completion algorithm