Detail publikace

String-Partitioning Systems and An Infinite Hierarchy

KŘIVKA Zbyněk a SCHÖNECKER Rudolf. String-Partitioning Systems and An Infinite Hierarchy. In: Proceedings of 1st International Workshop on Formal Models (WFM'06). Ostrava: MARQ, 2006, s. 53-60. ISBN 80-86840-20-4.
Název česky
Řetězce-rozdělující systémy a nekonečná hierarchie
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Křivka Zbyněk, Ing., Ph.D. (UIFS FIT VUT)
Schönecker Rudolf, Ing. (UIFS FIT VUT)
URL
Klíčová slova

řetězce-rozdělující systémy, programované gramatiky, konečný index, nekonečná hierarchie

Abstrakt

Příspěvek zavádí a diskutuje řetězce-rozdělující systémy.
Tento formální model je založen na rozdělování přepisovaných řetězců na několik částí, které systém přepisuje pomocí pravidel specifických pro část, na kterou jsou aplikovány. Dále je prezentována nekonečná hierarchie vzhledem k celkovému počtu povolených rozdělení, která odpovídá nekonečné hierarchii programovaných gramatik konečného indexu. V závěru jsou nastíněny některé otevřené otázky.

Rok
2006
Strany
53-60
Sborník
Proceedings of 1st International Workshop on Formal Models (WFM'06)
Konference
1st International Workshop on Formal Models (WFM'06), Přerov, CZ
ISBN
80-86840-20-4
Vydavatel
MARQ
Místo
Ostrava, CZ
BibTeX 
@INPROCEEDINGS{FITPUB8045,
   author = "Zbyn\v{e}k K\v{r}ivka and Rudolf Sch{\"{o}}necker",
   title = "String-Partitioning Systems and An Infinite Hierarchy",
   pages = "53--60",
   booktitle = "Proceedings of 1st International Workshop on Formal Models (WFM'06)",
   year = 2006,
   location = "Ostrava, CZ",
   ISBN = "80-86840-20-4",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/8045"
}
Nahoru