Category:形式言語
オートマトン
Automata theory形式言語
Formal language文脈自由文法
Context-free grammarチョムスキー階層
Chomsky hierarchy正規言語
Regular language終端記号と非終端記号
Terminal and nonterminal symbolsクリーネ閉包
Kleene starEBNF
Extended Backus–Naur form抽象構文木
Abstract syntax tree正規文法
Regular grammar論理定項
Logical constant文脈依存文法
Context-sensitive grammarMizar
Mizar system曖昧な文法
Ambiguous grammarチョムスキー標準形
Chomsky normal form形式体系
Formal system形式文法
Formal grammar帰納言語
Recursive language左再帰
Left recursion属性文法
Attribute grammar項書き換え
Rewriting文脈自由言語
Context-free languageオグデンの補題
Ogden's lemma範疇文法
Categorial grammar確率文脈自由文法
Probabilistic context-free grammar重み付き文脈自由文法
Weighted context-free grammar構成規則
Formation rule最小文法問題
Smallest grammar problem