Category:形式言語
文脈自由文法
Context-free grammar抽象構文木
Abstract syntax treeチョムスキー階層
Chomsky hierarchy終端記号と非終端記号
Terminal and nonterminal symbolsオートマトン
Automata theory形式言語
Formal language形式文法
Formal grammar正規言語
Regular languageEBNF
Extended Backus–Naur form論理定項
Logical constant文脈自由言語
Context-free language正規文法
Regular grammar合流性
Confluence (abstract rewriting)文脈依存文法
Context-sensitive grammar左再帰
Left recursionL-system
L-systemチョムスキー標準形
Chomsky normal formクリーネ閉包
Kleene star文脈依存言語
Context-sensitive language正規言語の反復補題
Pumping lemma for regular languages帰納言語
Recursive languageオグデンの補題
Ogden's lemma反復補題
Pumping lemma属性文法
Attribute grammar重み付き文脈自由文法
Weighted context-free grammar構成規則
Formation rule最小文法問題
Smallest grammar problemアルファベット (計算機科学)
Alphabet (formal languages)