Detail publikace
Pumping Properties of Path-Restricted Tree-Controlled Languages
KOUTNÝ, J.; KŘIVKA, Z.; MEDUNA, A. Pumping Properties of Path-Restricted Tree-Controlled Languages. 7th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Brno University of Technology, 2011. p. 61-69. ISBN: 978-80-214-4305-1.
Název česky
Lemmata o vkládání pro cestou řízené gramatiky
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Koutný Jiří, Ing., Ph.D.
Křivka Zbyněk, Ing., Ph.D. (UIFS)
Meduna Alexandr, prof. RNDr., CSc. (UIFS)
Křivka Zbyněk, Ing., Ph.D. (UIFS)
Meduna Alexandr, prof. RNDr., CSc. (UIFS)
Klíčová slova
regulated rewriting, derivation tree,tree-controlled grammars,path-controlled grammars,$n$-path tree-controlled grammars,pumping properties.
Abstrakt
Článek se zabývá novým omezením ve stromem řízených gramatikách, konkrétně v bezkontextových gramatikách, kde jsou některé cesty derivačních stromů omezeny lineárním jazykem. Zavádíme omezení na n cest a demonstrujeme, že na základě společné části všech omezených cest můžeme definovat několik tříd generovaných jazyků. Potom pro tyto třídy jazyků zavedeme několik nových lemat o vkládání.
Rok
2011
Strany
61–69
Sborník
7th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
ISBN
978-80-214-4305-1
Vydavatel
Brno University of Technology
Místo
Brno
BibTeX
@inproceedings{BUT76416,
author="Jiří {Koutný} and Zbyněk {Křivka} and Alexandr {Meduna}",
title="Pumping Properties of Path-Restricted Tree-Controlled Languages",
booktitle="7th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science",
year="2011",
pages="61--69",
publisher="Brno University of Technology",
address="Brno",
isbn="978-80-214-4305-1"
}