Publication Details

Generalized #-Rewriting Systems of Finite Index

KŘIVKA Zbyněk and MEDUNA Alexander. Generalized #-Rewriting Systems of Finite Index. In: Information Systems and Formal Models (Proceedings of 2nd International Workshop on Formal Models (WFM'07)). Opava: Silesian University, 2007, pp. 197-204. ISBN 978-807248-006-7.
Czech title
Zobecněné #-přepisující systémy konečného indexu
Type
conference paper
Language
english
Authors
Křivka Zbyněk, Ing., Ph.D. (DIFS FIT BUT)
Meduna Alexander, prof. RNDr., CSc. (DIFS FIT BUT)
URL
Keywords

#-rewriting systems, context-based generalization, infinite hierarchy, finite index

Abstract

This paper discusses a generalized version of #-rewriting systems with context rules. It demonstrates that this context-based generalization does not affect the generative power of #-rewriting systems of finite index. A new characterization of the infinite hierarchy of language families generated by programmed grammars of finite index is obtained.

Published
2007
Pages
197-204
Proceedings
Information Systems and Formal Models (Proceedings of 2nd International Workshop on Formal Models (WFM'07))
Conference
2nd International Workshop on Formal Models WFM'07, Hradec nad Moravicí, CZ
ISBN
978-807248-006-7
Publisher
Silesian University
Place
Opava, CZ
BibTeX 
@INPROCEEDINGS{FITPUB8306,
   author = "Zbyn\v{e}k K\v{r}ivka and Alexander Meduna",
   title = "Generalized \#-Rewriting Systems of Finite Index",
   pages = "197--204",
   booktitle = "Information Systems and Formal Models (Proceedings of 2nd International Workshop on Formal Models (WFM'07))",
   year = 2007,
   location = "Opava, CZ",
   publisher = "Silesian University",
   ISBN = "978-807248-006-7",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/8306"
}
Back to top