Detail publikace

Pumping Properties of Path-Restricted Tree-Controlled Languages

Originální název

Pumping Properties of Path-Restricted Tree-Controlled Languages

Anglický název

Pumping Properties of Path-Restricted Tree-Controlled Languages

Jazyk

en

Originální abstrakt

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.

Anglický abstrakt

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.

BibTex


@inproceedings{BUT76416,
  author="Jiří {Koutný} and Zbyněk {Křivka} and Alexandr {Meduna}",
  title="Pumping Properties of Path-Restricted Tree-Controlled Languages",
  annote="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.",
  address="Brno University of Technology",
  booktitle="7th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science",
  chapter="76416",
  edition="NEUVEDEN",
  howpublished="print",
  institution="Brno University of Technology",
  year="2011",
  month="october",
  pages="61--69",
  publisher="Brno University of Technology",
  type="conference paper"
}