Category:形式言語
オートマトン
Automata theoryチョムスキー階層
Chomsky hierarchyクリーネ閉包
Kleene star曖昧な文法
Ambiguous grammar組合せ範疇文法
Combinatory categorial grammarMizar
Mizar system論理定項
Logical constant黒田標準形
Kuroda normal form構成規則
Formation rule確率文脈自由文法
Probabilistic context-free grammar重み付き文脈自由文法
Weighted context-free grammar帰納言語
Recursive language最小文法問題
Smallest grammar problemアルファベット (計算機科学)
Alphabet (formal languages)帰納的可算言語
Recursively enumerable languageグルシコフ法
Glushkov's construction algorithm素性構造
Feature structureParsing expression grammar
Parsing expression grammar範疇文法
Categorial grammar論理式 (数学)
Logical formulaマイヒル–ネローデの定理
Myhill–Nerode theorem左再帰
Left recursion弱文脈依存言語
Mildly context-sensitive grammar formalism属性文法
Attribute grammar正規言語の反復補題
Pumping lemma for regular languagesチョムスキー標準形
Chomsky normal formEBNF
Extended Backus–Naur formオグデンの補題
Ogden's lemma