Category:形式言語
オートマトン
Automata theory文脈自由文法
Context-free grammarL-system
L-systemチョムスキー階層
Chomsky hierarchyクリーネ閉包
Kleene star正規言語
Regular language抽象構文木
Abstract syntax tree正規表現
Regular expressionEBNF
Extended Backus–Naur form形式文法
Formal grammar文脈自由言語
Context-free language終端記号と非終端記号
Terminal and nonterminal symbolsディック言語
Dyck language部分集合構成法
Powerset construction正規文法
Regular grammarMizar
Mizar system合流性
Confluence (abstract rewriting)オグデンの補題
Ogden's lemma組合せ範疇文法
Combinatory categorial grammar重み付き文脈自由文法
Weighted context-free grammar構成規則
Formation rule抽象構文
Abstract syntax最小文法問題
Smallest grammar problem曖昧な文法
Ambiguous grammarアルファベット (計算機科学)
Alphabet (formal languages)グルシコフ法
Glushkov's construction algorithm素性構造
Feature structureParsing Expression Grammar