 |
Discrete Mathematics & Theoretical Computer Science |  |
Masopust, Tomáš and Techet, Jiří - Leftmost derivations of propagating scattered context grammars: a new proof
dmtcs:446 - Discrete Mathematics & Theoretical Computer Science, January 1, 2008, Vol. 10 no. 2Leftmost derivations of propagating scattered context grammars: a new proof
Authors: Masopust, Tomáš and Techet, Jiří
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.
Source : oai:HAL:hal-00972321v1
Volume: Vol. 10 no. 2
Section: Automata, Logic and Semantics
Published on: January 1, 2008
Submitted on: March 26, 2015
Keywords: [INFO.INFO-DM] Computer Science [cs]/Discrete Mathematics [cs.DM]
Consultation statistics
This page has been seen 503 times.
This article's PDF has been downloaded 111 times.