Category:形式言語
バイグラム
Bigram
オグデンの補題
Ogden's lemma
形式言語の階層
EBNF
Extended Backus–Naur form
部分集合構成法
Powerset construction
マイヒル–ネローデの定理
Myhill–Nerode theorem
ディック言語
Dyck language
組合せ範疇文法
Combinatory categorial grammar
グライバッハ標準形
Greibach normal form
正規文法
Regular grammar文脈自由言語の反復補題
Pumping lemma for context-free languages
形式文法
Formal grammar
反復補題
Pumping lemma
文脈依存言語
Context-sensitive language
終端記号と非終端記号
Terminal and nonterminal symbols
抽象構文
Abstract syntax
形式体系
Formal system
文脈自由言語
Context-free language
L-system
L-system文脈依存文法
Context-sensitive grammar形式言語
Formal language
正規言語
Regular language
文脈自由文法
Context-free grammar
正規表現
Regular expression