Category:形式言語
Parsing Expression Grammar
Parsing expression grammarMizar
Mizar system論理式 (数学)
Logical formulaグルシコフ法
Glushkov's construction algorithm素性構造
Feature structure文脈依存言語
Context-sensitive language曖昧な文法
Ambiguous grammar左再帰
Left recursion抽象構文
Abstract syntaxマイヒル–ネローデの定理
Myhill–Nerode theorem反復補題
Pumping lemma正規言語の反復補題
Pumping lemma for regular languages帰納的可算言語
Recursively enumerable language文脈自由言語の反復補題
Pumping lemma for context-free languages組合せ範疇文法
Combinatory categorial grammarディック言語
Dyck language形式言語の階層
L-system
L-system部分集合構成法
Powerset construction黒田標準形
Kuroda normal form形式体系
Formal systemグライバッハ標準形
Greibach normal form