Category:形式言語
形式文法
Formal grammar
EBNF
Extended Backus–Naur form
正規言語
Regular language
ABNF
Augmented Backus–Naur form
正規言語の反復補題
Pumping lemma for regular languages
Mizar
Mizar system
範疇文法
Categorial grammar
部分集合構成法
Powerset construction
確率文脈自由文法
Probabilistic context-free grammar
オグデンの補題
Ogden's lemma組合せ範疇文法
Combinatory categorial grammar
重み付き文脈自由文法
Weighted context-free grammar構成規則
Formation rule
最小文法問題
Smallest grammar problem
曖昧な文法
Ambiguous grammar
アルファベット (計算機科学)
Alphabet (formal languages)
グルシコフ法
Glushkov's construction algorithm
形式体系
Formal system
属性文法
Attribute grammar
素性構造
Feature structureParsing Expression Grammar
Parsing expression grammar
論理式 (数学)
Logical formula
弱文脈依存言語
Mildly context-sensitive grammar formalism
反復補題
Pumping lemma
黒田標準形
Kuroda normal form
左再帰
Left recursionグライバッハ標準形
Greibach normal form
抽象構文
Abstract syntax