Category:形式言語
ABNF
Augmented Backus–Naur formバイグラム
Bigram
形式体系
Formal system
文脈依存言語
Context-sensitive language
終端記号と非終端記号
Terminal and nonterminal symbols
帰納的可算言語
Recursively enumerable language
文脈自由言語
Context-free language
形式言語
Formal language形式言語の階層
論理定項
Logical constant
黒田標準形
Kuroda normal form構成規則
Formation rule
チョムスキー階層
Chomsky hierarchy
項書き換え
Rewriting
確率文脈自由文法
Probabilistic context-free grammar
重み付き文脈自由文法
Weighted context-free grammar
帰納言語
Recursive language
最小文法問題
Smallest grammar problem
アルファベット (計算機科学)
Alphabet (formal languages)
グルシコフ法
Glushkov's construction algorithm
合流性
Confluence (abstract rewriting)
素性構造
Feature structureParsing expression grammar
Parsing expression grammar
論理式 (数学)
Logical formula
部分集合構成法
Powerset construction弱文脈依存言語
Mildly context-sensitive grammar formalism
属性文法
Attribute grammar
曖昧な文法
Ambiguous grammar