Result Details

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.
Type
conference paper
Language
English
Authors
Masopust Tomáš, doc. RNDr., Ph.D., DIFS (FIT)
Abstract

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.

Keywords

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

Published
2007
Pages
121–126
Proceedings
Third Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2007)
Conference
MEMICS'07 -- 3rd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
ISBN
978-80-7355-077-6
Publisher
Ing. Zdeněk Novotný, CSc.
Place
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"
}
Projects
Integrated approach to education of PhD students in the area of parallel and distributed systems, GACR, Doktorské granty, GD102/05/H050, start: 2005-01-01, end: 2008-12-31, completed
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, start: 2007-01-01, end: 2013-12-31, running
Research groups
Formal Model Research Group (RG FM)
Departments
Department of Information Systems (DIFS)
Back to top