Result Details

A New Normal Form for Programmed Grammars with Appearance Checking

VRÁBEL, L. A New Normal Form for Programmed Grammars with Appearance Checking. Proceedings of the 18th Conference STUDENT EEICT 2012 Volume 3. Brno: Brno University of Technology, 2012. p. 420-425. ISBN: 978-80-214-4462-1.
Type
conference paper
Language
English
Authors
Vrábel Lukáš, Ing., DIFS (FIT)
Keywords

Programmed grammar with appearance checking, normal form, successor, nondeterminism

URL
Annotation

In the present paper, we discuss programmed grammars with appearance checking. We investigate the effect of the number of rules with more than one successor in success and/or failure field on generative power of the programmed grammars. We prove that for every programmed grammar, there is an equivalent programmed grammar where only a single rule has more than one successor in both success and failure fields.

Published
2012
Pages
420–425
Proceedings
Proceedings of the 18th Conference STUDENT EEICT 2012 Volume 3
Conference
Student EEICT 2012
ISBN
978-80-214-4462-1
Publisher
Brno University of Technology
Place
Brno
BibTeX 
@inproceedings{BUT192803,
  author="Lukáš {Vrábel}",
  title="A New Normal Form for Programmed Grammars with Appearance Checking",
  booktitle="Proceedings of the 18th Conference STUDENT EEICT 2012 Volume 3",
  year="2012",
  pages="420--425",
  publisher="Brno University of Technology",
  address="Brno",
  isbn="978-80-214-4462-1",
  url="http://www.feec.vutbr.cz/EEICT/2012/sbornik/03doktorskeprojekty/08informacnisystemy/12-xvrabe01.pdf"
}
Projects
Advanced recognition and presentation of multimedia data, BUT, Vnitřní projekty VUT, FIT-S-11-2, start: 2011-01-01, end: 2013-12-31, completed
Centrum excelence IT4Innovations, MŠMT, Operační program Výzkum a vývoj pro inovace, ED1.1.00/02.0070, start: 2011-01-01, end: 2015-12-31, completed
Mathematical Foundations of Formal Language Theory, MŠMT, Fond rozvoje vysokých škol (FRVŠ), FR271/2012/G1, start: 2012-01-01, end: 2012-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