Publication Details

Generalized #-Rewriting Systems of Finite Index

KŘIVKA, Z.; MEDUNA, A. Generalized #-Rewriting Systems of Finite Index. Information Systems and Formal Models (Proceedings of 2nd International Workshop on Formal Models (WFM'07)). Opava: Silesian University, 2007. p. 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)
Meduna Alexandr, prof. RNDr., CSc. (DIFS)
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))
ISBN
978-807248-006-7
Publisher
Silesian University
Place
Opava
BibTeX 
@inproceedings{BUT26050,
  author="Zbyněk {Křivka} and Alexandr {Meduna}",
  title="Generalized #-Rewriting Systems of Finite Index",
  booktitle="Information Systems and Formal Models (Proceedings of 2nd International Workshop on Formal Models (WFM'07))",
  year="2007",
  pages="197--204",
  publisher="Silesian University",
  address="Opava",
  isbn="978-807248-006-7",
  url="https://www.fit.vut.cz/research/publication/8306/"
}
Files
Back to top