Category:形式言語
マイヒル–ネローデの定理
Myhill–Nerode theorem文脈自由言語
Context-free language黒田標準形
Kuroda normal form属性文法
Attribute grammar抽象構文
Abstract syntax正規文法
Regular grammar文脈自由言語の反復補題
Pumping lemma for context-free languagesABNF
Augmented Backus–Naur formグライバッハ標準形
Greibach normal form形式言語
Formal language曖昧な文法
Ambiguous grammar確率文脈自由文法
Probabilistic context-free grammar組合せ範疇文法
Combinatory categorial grammarL-system
L-system部分集合構成法
Powerset construction正規言語
Regular language左再帰
Left recursion形式体系
Formal system正規言語の反復補題
Pumping lemma for regular languages抽象構文木
Abstract syntax treeMizar
Mizar system形式文法
Formal grammarEBNF
Extended Backus–Naur form