Similar to 形式言語
形式言語の階層
弱文脈依存言語
Mildly context-sensitive grammar formalism
Mizar
Mizar system
M系列
Maximum length sequence
アルゴリズム
Algorithm
アルファベット (計算機科学)
Alphabet (formal languages)
正規表現
Regular expression
Parsing expression grammar
Parsing expression grammar
左再帰
Left recursion
部分集合構成法
Powerset construction
文脈自由言語
Context-free language
素性構造
Feature structure
L-system
L-system
0
0
1
1
2
2
3
3
4
4
5
5
6
6
7
7
8
8
9
9
12345679
理論計算機科学
Theoretical computer science
カリー＝ハワード同型対応
Curry–Howard correspondence
グスタフソンの法則
Gustafson's law
クヌース賞
Knuth Prize