Category:形式言語
正規表現
Regular expression
L-system
L-system
抽象構文木
Abstract syntax tree
形式体系
Formal system
形式文法
Formal grammar
正規言語
Regular language
バイグラム
Bigram
反復補題
Pumping lemma
終端記号と非終端記号
Terminal and nonterminal symbols
文脈自由文法
Context-free grammar
Mizar
Mizar system
部分集合構成法
Powerset construction
正規言語の反復補題
Pumping lemma for regular languages
ディック言語
Dyck language
文脈依存言語
Context-sensitive language
正規文法
Regular grammar
曖昧な文法
Ambiguous grammar
論理定項
Logical constant
黒田標準形
Kuroda normal form構成規則
Formation rule重み付き文脈自由文法
Weighted context-free grammar
帰納言語
Recursive language
最小文法問題
Smallest grammar problem
アルファベット (計算機科学)
Alphabet (formal languages)
グルシコフ法
Glushkov's construction algorithm
素性構造
Feature structureParsing expression grammar
Parsing expression grammar
範疇文法
Categorial grammar