Leftmost derivations of propagating scattered context grammars: a new proof - Archive ouverte HAL
Article Dans Une Revue Discrete Mathematics and Theoretical Computer Science Année : 2008

Leftmost derivations of propagating scattered context grammars: a new proof

Résumé

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.

Domaines

Mathématique discrète [cs.DM]
Fichier principal
Vignette du fichier
712-3269-2-PB.pdf (109.61 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Service Ist Inria Sophia Antipolis-Méditerranée / I3s  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-00972321

Soumis le : jeudi 3 avril 2014-16:10:40

Dernière modification le : mardi 7 février 2023-03:42:43

Archivage à long terme le : jeudi 3 juillet 2014-16:35:26

Télécharger pour visualiser

Dates et versions

hal-00972321 , version 1 (03-04-2014)

Identifiants

Citer

Tomáš Masopust, Jiří Techet. Leftmost derivations of propagating scattered context grammars: a new proof. Discrete Mathematics and Theoretical Computer Science, 2008, Vol. 10 no. 2 (2), pp.39--46. ⟨10.46298/dmtcs.446⟩. ⟨hal-00972321⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

TDS-MACS
52 Consultations
967 Téléchargements

Altmetric

Partager

More