Category:形式言語
帰納的可算言語
Recursively enumerable language形式言語の階層
形式言語
Formal language項書き換え
Rewriting確率文脈自由文法
Probabilistic context-free grammar形式体系
Formal systemマイヒル–ネローデの定理
Myhill–Nerode theorem組合せ範疇文法
Combinatory categorial grammar帰納言語
Recursive languageオグデンの補題
Ogden's lemma重み付き文脈自由文法
Weighted context-free grammar構成規則
Formation rule最小文法問題
Smallest grammar problemアルファベット (計算機科学)
Alphabet (formal languages)グルシコフ法
Glushkov's construction algorithm素性構造
Feature structureチョムスキー階層
Chomsky hierarchyParsing Expression Grammar
Parsing expression grammar論理式 (数学)
Logical formula弱文脈依存言語
Mildly context-sensitive grammar formalism文脈依存言語
Context-sensitive language属性文法
Attribute grammar黒田標準形
Kuroda normal form論理定項
Logical constantディック言語
Dyck languageクリーネ閉包
Kleene star抽象構文
Abstract syntax合流性
Confluence (abstract rewriting)