Detail publikace

Generalized #-Rewriting Systems of Finite Index

KŘIVKA, Z.; MEDUNA, A. 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. p. 197-204. ISBN: 978-807248-006-7.
Název česky
Zobecněné #-přepisující systémy konečného indexu
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Křivka Zbyněk, Ing., Ph.D. (UIFS)
Meduna Alexandr, prof. RNDr., CSc. (UIFS)
URL
Klíčová slova

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

Abstrakt

Příspěvek diskutuje zobecněné #-přepisující systémy s kontextovými pravidly. Demonstruje, že toto zobecnění neovlivňuje generativní sílu #-přepisujících systémů konečného indexu. Získáme tak novou charakterizaci nekonenčné hierarchie jazyků založené na programovaných gramatikách konečného indexu.

Rok
2007
Strany
197–204
Sborník
Information Systems and Formal Models (Proceedings of 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"
}
Nahoru