Category:形式言語
正規表現
Regular expressionオートマトン
Automata theoryL-system
L-system終端記号と非終端記号
Terminal and nonterminal symbolsチョムスキー階層
Chomsky hierarchy正規言語
Regular languageABNF
Augmented Backus–Naur form文脈依存文法
Context-sensitive grammarクリーネ閉包
Kleene star文脈自由言語
Context-free language文脈自由文法
Context-free grammar範疇文法
Categorial grammarディック言語
Dyck language抽象構文木
Abstract syntax tree合流性
Confluence (abstract rewriting)文脈依存言語
Context-sensitive language曖昧な文法
Ambiguous grammar正規文法
Regular grammarマイヒル–ネローデの定理
Myhill–Nerode theorem左再帰
Left recursion論理定項
Logical constantオグデンの補題
Ogden's lemma抽象構文
Abstract syntaxEBNF
Extended Backus–Naur form形式文法
Formal grammar重み付き文脈自由文法
Weighted context-free grammar構成規則
Formation rule最小文法問題
Smallest grammar problem