Publication details
Leftmost Derivations of Propagating Scattered Context Grammars: A New Proof
| Authors | |
|---|---|
| Year of publication | 2008 |
| Type | Article in Periodical |
| Magazine / Source | Discrete Mathematics & Theoretical Computer Science |
| MU Faculty or unit | |
| Citation | |
| web | http://www.dmtcs.org/dmtcs-ojs/index.php/dmtcs/issue/view/93 |
| Keywords | formal languages, propagating scattered context grammars, leftmost derivations, generative power |
| Description | In 1973, V. Virkkunen proved that propagating scattered context grammars which use leftmost derivations are as powerful as context-sensitive grammars. This paper brings a significantly simplified proof of this result. |