Detail výsledku

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.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Křivka Zbyněk, Ing., Ph.D., UIFS (FIT)
Meduna Alexandr, prof. RNDr., CSc., UIFS (FIT)
Abstrakt

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.

Klíčová slova

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

URL
Rok
2007
Strany
197–204
Sborník
Information Systems and Formal Models (Proceedings of 2nd International Workshop on Formal Models (WFM'07))
Konference
2nd International Workshop on Formal Models WFM'07
ISBN
978-807248-006-7
Vydavatel
Silesian University
Místo
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/"
}
Soubory
Projekty
Multiinformační technologie, GAČR, Standardní projekty, GA201/07/0005, zahájení: 2007-01-01, ukončení: 2009-12-31, ukončen
Výzkumné skupiny
Výzkumná skupina formálních modelů (VZ FM)
Pracoviště
Ústav informačních systémů (UIFS)
Nahoru