Category:形式言語
論理定項
Logical constant
帰納的可算言語
Recursively enumerable language
ABNF
Augmented Backus–Naur form
属性文法
Attribute grammar
黒田標準形
Kuroda normal form
終端記号と非終端記号
Terminal and nonterminal symbols
組合せ範疇文法
Combinatory categorial grammar
帰納言語
Recursive language
クリーネ閉包
Kleene star
Mizar
Mizar system
合流性
Confluence (abstract rewriting)
部分集合構成法
Powerset construction文脈依存文法
Context-sensitive grammarバイグラム
Bigram
EBNF
Extended Backus–Naur form
左再帰
Left recursion
項書き換え
Rewriting
抽象構文
Abstract syntax
オートマトン
Automata theory抽象構文木
Abstract syntax tree
形式体系
Formal system
形式言語
Formal language
正規表現
Regular expression