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))
Conference
2nd International Workshop on Formal Models WFM'07, Hradec nad Moravicí, CZ
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