Tomáš Masopust ; Jiří Techet - Leftmost derivations of propagating scattered context grammars: a new proof

dmtcs:446 - Discrete Mathematics & Theoretical Computer Science, January 1, 2008, Vol. 10 no. 2 - https://doi.org/10.46298/dmtcs.446
Leftmost derivations of propagating scattered context grammars: a new proof

Authors: Tomáš Masopust ORCID-iD1; Jiří Techet 1

  • 1 Faculty of Information Technology [Brno]

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.

https://doi.org/10.46298/dmtcs.446
Source: HAL:hal-00972321v1
Volume: Vol. 10 no. 2
Section: Automata, Logic and Semantics
Published on: January 1, 2008
Imported on: March 26, 2015
Keywords: [INFO.INFO-DM] Computer Science [cs]/Discrete Mathematics [cs.DM]

Linked publications - datasets - softwares

Source : ScholeXplorer IsRelatedTo DOI 10.1016/j.tcs.2007.07.044
  • 10.1016/j.tcs.2007.07.044
Canonical scattered context generators of sentences with their parses

Share and export

Consultation statistics

This page has been seen 640 times.
This article's PDF has been downloaded 205 times.