Similar to 形式言語
形式言語の階層
弱文脈依存言語
Mildly context-sensitive grammar formalism
Mizar
Mizar system
M系列
Maximum length sequence
アルゴリズム
Algorithm
アルファベット (計算機科学)
Alphabet (formal languages)
正規表現
Regular expression▼-1 trends
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