Category:形式言語
チョムスキー階層
Chomsky hierarchyL-system
L-system文脈自由言語の反復補題
Pumping lemma for context-free languagesチョムスキー標準形
Chomsky normal form反復補題
Pumping lemma文脈依存言語
Context-sensitive languageグライバッハ標準形
Greibach normal form確率文脈自由文法
Probabilistic context-free grammar形式文法
Formal grammarディック言語
Dyck languageマイヒル–ネローデの定理
Myhill–Nerode theorem文脈自由言語
Context-free language正規言語の反復補題
Pumping lemma for regular languages重み付き文脈自由文法
Weighted context-free grammar構成規則
Formation rule最小文法問題
Smallest grammar problemABNF
Augmented Backus–Naur formアルファベット (計算機科学)
Alphabet (formal languages)グルシコフ法
Glushkov's construction algorithm正規文法
Regular grammar素性構造
Feature structureParsing expression grammar
Parsing expression grammar範疇文法
Categorial grammar論理式 (数学)
Logical formulaオグデンの補題
Ogden's lemma弱文脈依存言語
Mildly context-sensitive grammar formalism曖昧な文法
Ambiguous grammar論理定項
Logical constant