Detail publikace

Leftmost Derivations of Propagating Scattered Context Grammars: A New Proof

Originální název

Leftmost Derivations of Propagating Scattered Context Grammars: A New Proof

Anglický název

Leftmost Derivations of Propagating Scattered Context Grammars: A New Proof

Jazyk

en

Originální abstrakt

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.

Anglický abstrakt

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.

BibTex


@article{BUT48169,
  author="Tomáš {Masopust} and Jiří {Techet}",
  title="Leftmost Derivations of Propagating Scattered Context Grammars: A New Proof",
  annote="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.",
  address="NEUVEDEN",
  chapter="48169",
  edition="NEUVEDEN",
  howpublished="print",
  institution="NEUVEDEN",
  journal="DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE",
  number="2",
  volume="10",
  year="2008",
  month="april",
  pages="39--46",
  publisher="NEUVEDEN",
  type="journal article in Web of Science"
}