All types of publications
| Vrábel, L.: A New Normal Form for Programmed Grammars with Appearance Checking, In: Proceedings of the 18th Conference STUDENT EEICT 2012 Volume 3, Brno, CZ, VUT v Brně, 2012, p. 420-425, ISBN 978-80-214-4462-1 | | 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áš Vrá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}
} |
|
Faculty of Information Technology
![[dnssec]](/common/img/dnssec.png)