Publication Details

Pumping Properties of Path-Restricted Tree-Controlled Languages

KOUTNÝ Jiří, KŘIVKA Zbyněk and MEDUNA Alexander. Pumping Properties of Path-Restricted Tree-Controlled Languages. In: 7th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Brno University of Technology, 2011, pp. 61-69. ISBN 978-80-214-4305-1.
Czech title
Lemmata o vkládání pro cestou řízené gramatiky
Type
conference paper
Language
english
Authors
Koutný Jiří, Ing. (DIFS FIT BUT)
Křivka Zbyněk, Ing., Ph.D. (DIFS FIT BUT)
Meduna Alexander, prof. RNDr., CSc. (DIFS FIT BUT)
Keywords
regulated rewriting, 
derivation tree,
tree-controlled grammars,
path-controlled grammars,
$n$-path tree-controlled grammars,
pumping properties.
Abstract

This paper discusses new kind of a restriction placed on tree-controlled grammars-context-free grammars with some root-to-leaf paths in their derivation trees restricted by a control language. We introduce an n-path restriction and demonstrate that if the control language is linear, there are several families of generated languages depending on the length of common part of restricted paths. Then, the paper introduces several pumping properties of these families.

Published
2011
Pages
61-69
Proceedings
7th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
Conference
MEMICS'11 -- 7th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Lednice, CZ
ISBN
978-80-214-4305-1
Publisher
Brno University of Technology
Place
Brno, CZ
BibTeX 
@INPROCEEDINGS{FITPUB9698,
   author = "Ji\v{r}\'{i} Koutn\'{y} and Zbyn\v{e}k K\v{r}ivka and Alexander Meduna",
   title = "Pumping Properties of Path-Restricted Tree-Controlled Languages",
   pages = "61--69",
   booktitle = "7th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science",
   year = 2011,
   location = "Brno, CZ",
   publisher = "Brno University of Technology",
   ISBN = "978-80-214-4305-1",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/9698"
}
Back to top