Similar to 終端記号と非終端記号
安定結婚問題
Stable marriage problem安定写像
Stable map安定性理論
Stability theory安定多様体
Stable manifold安定分布
Stable distribution安定ホモトピー理論
Stable homotopy theoryアンティポン
Antiphon (orator)鞍点
Saddle point形式言語
Formal languageABNF
Augmented Backus–Naur formEBNF
Extended Backus–Naur form曖昧な文法
Ambiguous grammarオグデンの補題
Ogden's lemmaオートマトン
Automata theory重み付き文脈自由文法
Weighted context-free grammar確率文脈自由文法
Probabilistic context-free grammar帰納言語
Recursive language帰納的可算言語
Recursively enumerable language組合せ範疇文法
Combinatory categorial grammarグライバッハ標準形
Greibach normal formクリーネ閉包
Kleene star黒田標準形
Kuroda normal form形式言語の階層
形式体系
Formal system形式文法
Formal grammar項書き換え
Rewriting構成規則
Formation rule合流性
Confluence (abstract rewriting)