Type2 Language - formallang.memo*Type-2 Language / 文脈自由言語 **文脈自由文法 - N : 非終端記号 - Σ : 終端記号 - S ∈ N : 開始記号 - R : A→α where α∈(N∪Σ)* の形の生成規則の集まり **プッシュダウンオートマトン 初出は - "Context-free grammars and pushdown storage" (1962) - Noam Chomsky - Quarterly Progress Report 65, Research Laboratory of Electronics, Mass らしい。 - "On Context-Free Languages and Push-Down Automata" (1963) - M. P. Schützenberger - Information and Control, vol. 6, pp. 2
Aritalab:Lecture/Algorithm/Halting Problem - Metabolomics.JP
