Category:形式言語
EBNF
Extended Backus–Naur form
文脈自由文法
Context-free grammar文脈依存文法
Context-sensitive grammar
項書き換え
Rewriting
部分集合構成法
Powerset construction
バイグラム
Bigram
論理定項
Logical constant
文脈依存言語
Context-sensitive languageABNF
Augmented Backus–Naur form
黒田標準形
Kuroda normal form構成規則
Formation rule
左再帰
Left recursion重み付き文脈自由文法
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
範疇文法
Categorial grammar
確率文脈自由文法
Probabilistic context-free grammar
正規言語
Regular language
オグデンの補題
Ogden's lemma
帰納的可算言語
Recursively enumerable language
文脈自由言語
Context-free language