On the Generative Power of Cancel Minimal Linear Grammars with Single Nonterminal Symbol except the Start Symbol

概要

論文の詳細を見る
This paper concerns cancel minimal linear grammars ([5]) that was introduced to generalize Geffert normal forms for phrase structure grammars. We consider the generative power of restricted cancel minimal linear grammars: the grammars have only one nonterminal symbol C except the start symbol S, and their productions consist of context-free type productions, the left-hand side of which is S and the right-hand side contains at most one occurrence of S, and a unique cancellation production Cm → ε that replaces the string Cm by the empty string ε. We show that, for any given positive integer m, the class of languages generated by cancel minimal linear grammars with Cm → ε, is properly included in the class of linear languages. Conversely, we show that for any linear language L, there exists some positive integer m such that a cancel minimal linear grammar with Cm → ε generates L. We also show how the generative power of cancel minimal linear grammars with a unique cancellation production Cm → ε vary according to changes of m and restrictions imposed on occurrences of terminal symbols in the right-hand side of productions.
2011-10-01