Category:形式言語
文脈自由文法
Context-free grammar
EBNF
Extended Backus–Naur form文脈依存文法
Context-sensitive grammar
項書き換え
Rewriting
部分集合構成法
Powerset construction
バイグラム
Bigram
論理定項
Logical constant
文脈依存言語
Context-sensitive languageABNF
Augmented Backus–Naur form
黒田標準形
Kuroda normal form構成規則
Formation rule重み付き文脈自由文法
Weighted context-free grammar
帰納言語
Recursive language
最小文法問題
Smallest grammar problem
アルファベット (計算機科学)
Alphabet (formal languages)
グルシコフ法
Glushkov's construction algorithm
素性構造
Feature structureParsing expression grammar
Parsing expression grammar
論理式 (数学)
Logical formula弱文脈依存言語
Mildly context-sensitive grammar formalism
属性文法
Attribute grammar
左再帰
Left recursion
ディック言語
Dyck language
範疇文法
Categorial grammar
確率文脈自由文法
Probabilistic context-free grammar
オグデンの補題
Ogden's lemma
文脈自由言語
Context-free language
帰納的可算言語
Recursively enumerable language