Category:形式言語
L-system
L-system
属性文法
Attribute grammar
合流性
Confluence (abstract rewriting)
オグデンの補題
Ogden's lemma
重み付き文脈自由文法
Weighted context-free grammar構成規則
Formation rule
最小文法問題
Smallest grammar problem
アルファベット (計算機科学)
Alphabet (formal languages)
グルシコフ法
Glushkov's construction algorithm
素性構造
Feature structure
Parsing Expression Grammar
Parsing expression grammar
論理式 (数学)
Logical formula
文脈依存言語
Context-sensitive language弱文脈依存言語
Mildly context-sensitive grammar formalism
組合せ範疇文法
Combinatory categorial grammar
確率文脈自由文法
Probabilistic context-free grammar
黒田標準形
Kuroda normal form
正規言語の反復補題
Pumping lemma for regular languages
左再帰
Left recursionABNF
Augmented Backus–Naur form
項書き換え
Rewriting
Mizar
Mizar system