Category:形式言語
正規表現
Regular expression
チョムスキー階層
Chomsky hierarchy
抽象構文木
Abstract syntax tree
クリーネ閉包
Kleene star
Mizar
Mizar system
オートマトン
Automata theory
範疇文法
Categorial grammar文脈依存文法
Context-sensitive grammar
項書き換え
Rewriting
マイヒル–ネローデの定理
Myhill–Nerode theorem
文脈自由言語
Context-free language
合流性
Confluence (abstract rewriting)
文脈自由文法
Context-free grammar
属性文法
Attribute grammar
終端記号と非終端記号
Terminal and nonterminal symbols
部分集合構成法
Powerset construction
L-system
L-system
チョムスキー標準形
Chomsky normal form組合せ範疇文法
Combinatory categorial grammar
ディック言語
Dyck language
帰納的可算言語
Recursively enumerable language
素性構造
Feature structure
形式言語の階層
黒田標準形
Kuroda normal form構成規則
Formation rule
形式体系
Formal system
左再帰
Left recursion
文脈依存言語
Context-sensitive language