Category:形式言語
オートマトン
Automata theoryEBNF
Extended Backus–Naur form正規言語
Regular language文脈自由文法
Context-free grammar形式文法
Formal grammar形式言語
Formal language部分集合構成法
Powerset construction抽象構文木
Abstract syntax tree反復補題
Pumping lemma正規言語の反復補題
Pumping lemma for regular languages終端記号と非終端記号
Terminal and nonterminal symbols文脈依存文法
Context-sensitive grammarグライバッハ標準形
Greibach normal formチョムスキー標準形
Chomsky normal form範疇文法
Categorial grammarMizar
Mizar systemクリーネ閉包
Kleene star正規文法
Regular grammar合流性
Confluence (abstract rewriting)帰納言語
Recursive language文脈自由言語の反復補題
Pumping lemma for context-free languages曖昧な文法
Ambiguous grammar項書き換え
Rewritingディック言語
Dyck languageL-system
L-systemABNF
Augmented Backus–Naur form文脈依存言語
Context-sensitive languageオグデンの補題
Ogden's lemma