Similar to 文脈依存文法
弱文脈依存言語
Mildly context-sensitive grammar formalism終端記号と非終端記号
Terminal and nonterminal symbols正規言語
Regular language正規言語の反復補題
Pumping lemma for regular languages正規文法
Regular grammar属性文法
Attribute grammar素性構造
Feature structure抽象構文
Abstract syntax抽象構文木
Abstract syntax treeチョムスキー階層
Chomsky hierarchyチョムスキー標準形
Chomsky normal formディック言語
Dyck languageParsing Expression Grammar
Parsing expression grammar反復補題
Pumping lemma左再帰
Left recursion部分集合構成法
Powerset construction文脈依存言語
Context-sensitive language文脈自由言語
Context-free language文脈自由言語の反復補題
Pumping lemma for context-free languages文脈自由文法
Context-free grammarマイヒル–ネローデの定理
Myhill–Nerode theorem論理式 (数学)
Logical formula論理定項
Logical constantグルシコフ法
Glushkov's construction algorithm