Result 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.
Type
conference paper
Language
English
Authors
Křivka Zbyněk, Ing., Ph.D., DIFS (FIT)
Meduna Alexandr, prof. RNDr., CSc., DIFS (FIT)
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.

Keywords

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

URL
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
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
Projects
Multi-Information Technologies, GACR, Standardní projekty, GA201/07/0005, start: 2007-01-01, end: 2009-12-31, completed
Research groups
Formal Model Research Group (RG FM)
Departments
Department of Information Systems (DIFS)
Back to top