Conference paper

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
Publication language:english
Original title:A New Normal Form for Programmed Grammars with Appearance Checking
Pages:420-425
Proceedings:Proceedings of the 18th Conference STUDENT EEICT 2012 Volume 3
Conference:Student EEICT 2012
Place:Brno, CZ
Year:2012
URL:http://www.feec.vutbr.cz/EEICT/2012/sbornik/03doktorskeprojekty/08informacnisystemy/12-xvrabe01.pdf
ISBN:978-80-214-4462-1
Publisher:Brno University of Technology
URL:http://www.feec.vutbr.cz/EEICT/2012/sbornik/03doktorskeprojekty/08informacnisystemy/12-xvrabe01.pdf [PDF]
Keywords
Programmed grammar with appearance checking, normal form, successor, nondeterminism
Abstract
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.
BibTeX:
@INPROCEEDINGS{
   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 = {http://www.fit.vutbr.cz/research/view_pub.php?id=9925}
}

Your IPv4 address: 54.147.239.111
Switch to IPv6 connection

DNSSEC [dnssec]