Category:形式言語
抽象構文
Abstract syntax
部分集合構成法
Powerset construction
合流性
Confluence (abstract rewriting)
チョムスキー標準形
Chomsky normal form
文脈自由文法
Context-free grammar
グライバッハ標準形
Greibach normal form
形式文法
Formal grammar
曖昧な文法
Ambiguous grammar文脈自由言語の反復補題
Pumping lemma for context-free languages
形式言語
Formal language
左再帰
Left recursion文脈依存文法
Context-sensitive grammar
チョムスキー階層
Chomsky hierarchy
ABNF
Augmented Backus–Naur form
反復補題
Pumping lemma
終端記号と非終端記号
Terminal and nonterminal symbols
文脈自由言語
Context-free language
EBNF
Extended Backus–Naur form
正規言語
Regular language
オートマトン
Automata theory
L-system
L-system抽象構文木
Abstract syntax tree
正規表現
Regular expression