Category:形式言語
重み付き文脈自由文法
Weighted context-free grammar構成規則
Formation rule
最小文法問題
Smallest grammar problem
アルファベット (計算機科学)
Alphabet (formal languages)
帰納言語
Recursive language
グルシコフ法
Glushkov's construction algorithm
Parsing expression grammar
Parsing expression grammar
論理式 (数学)
Logical formula
素性構造
Feature structure
抽象構文
Abstract syntax
弱文脈依存言語
Mildly context-sensitive grammar formalism
マイヒル–ネローデの定理
Myhill–Nerode theorem
論理定項
Logical constant
黒田標準形
Kuroda normal form文脈自由言語の反復補題
Pumping lemma for context-free languages
属性文法
Attribute grammar
文脈自由言語
Context-free language
オートマトン
Automata theory
終端記号と非終端記号
Terminal and nonterminal symbolsグライバッハ標準形
Greibach normal form
形式文法
Formal grammar
ディック言語
Dyck language