Detail výsledku

Leftmost Derivations of Propagating Scattered Context Grammars: A New Proof

MASOPUST, T.; TECHET, J. Leftmost Derivations of Propagating Scattered Context Grammars: A New Proof. DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE, 2008, vol. 10, no. 2, p. 39-46. ISSN: 1365-8050.
Typ
článek v časopise
Jazyk
anglicky
Autoři
Masopust Tomáš, doc. RNDr., Ph.D., UIFS (FIT)
Techet Jiří, Ing., Ph.D., UIFS (FIT)
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.

Klíčová slova

formal languages, propagating scattered context grammars, leftmost derivations, generative power

URL
Rok
2008
Strany
39–46
Časopis
DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE, roč. 10, č. 2, ISSN 1365-8050
UT WoS
000255071100001
BibTeX 
@article{BUT48169,
  author="Tomáš {Masopust} and Jiří {Techet}",
  title="Leftmost Derivations of Propagating Scattered Context Grammars: A New Proof",
  journal="DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE",
  year="2008",
  volume="10",
  number="2",
  pages="39--46",
  issn="1462-7264",
  url="http://www.dmtcs.org/dmtcs-ojs/index.php/dmtcs/issue/view/93"
}
Projekty
Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů, GAČR, Doktorské granty, GD102/05/H050, zahájení: 2005-01-01, ukončení: 2008-12-31, ukončen
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, zahájení: 2007-01-01, ukončení: 2013-12-31, řešení
Výzkumné skupiny
Výzkumná skupina formálních modelů (VZ FM)
Pracoviště
Ústav informačních systémů (UIFS)
Nahoru