Detail výsledku

Generalized Forbidding Grammars with Linear Productions

MASOPUST, T. Generalized Forbidding Grammars with Linear Productions. Third Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2007). Znojmo: Ing. Zdeněk Novotný, CSc., 2007. p. 121-126. ISBN: 978-80-7355-077-6.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Masopust Tomáš, doc. RNDr., Ph.D., UIFS (FIT)
Abstrakt

This paper discusses the generalized forbidding grammars with linear productions and proves that such grammars have the same generative power as linear grammars. As a corollary, this paper proves that generalized forbidding grammars with regular productions have the same generative power as regular grammars.

Klíčová slova

formal languages, generalized forbidding grammars, regular productions, linear productions.

Rok
2007
Strany
121–126
Sborník
Third Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2007)
Konference
MEMICS'07 -- 3rd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
ISBN
978-80-7355-077-6
Vydavatel
Ing. Zdeněk Novotný, CSc.
Místo
Znojmo
BibTeX 
@inproceedings{BUT25349,
  author="Tomáš {Masopust}",
  title="Generalized Forbidding Grammars with Linear Productions",
  booktitle="Third Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2007)",
  year="2007",
  pages="121--126",
  publisher="Ing. Zdeněk Novotný, CSc.",
  address="Znojmo",
  isbn="978-80-7355-077-6"
}
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