Faculty of Information Technology, BUT

Publication Details

A New Normal Form for Programmed Grammars with Appearance Checking

VRÁBEL Lukáš. A New Normal Form for Programmed Grammars with Appearance Checking. In: Proceedings of the 18th Conference STUDENT EEICT 2012 Volume 3. Brno: Brno University of Technology, 2012, pp. 420-425. ISBN 978-80-214-4462-1. Available from: http://www.feec.vutbr.cz/EEICT/2012/sbornik/03doktorskeprojekty/08informacnisystemy/12-xvrabe01.pdf
Type
conference paper
Language
english
Authors
Vrábel Lukáš, Ing. (DIFS FIT BUT)
URL
Keywords
Programmed grammar with appearance checking, normal form, successor, nondeterminism
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, Brno, CZ
ISBN
978-80-214-4462-1
Publisher
Brno University of Technology
Place
Brno, CZ
BibTeX
@INPROCEEDINGS{FITPUB9925,
   author = "Luk\'{a}\v{s} Vr\'{a}bel",
   title = "A New Normal Form for Programmed Grammars with Appearance Checking",
   pages = "420--425",
   booktitle = "Proceedings of the 18th Conference STUDENT EEICT 2012 Volume 3",
   year = 2012,
   location = "Brno, CZ",
   publisher = "Brno University of Technology",
   ISBN = "978-80-214-4462-1",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/9925"
}
Back to top