Result Details

String-Partitioning Systems and An Infinite Hierarchy

KŘIVKA, Z.; SCHÖNECKER, R. String-Partitioning Systems and An Infinite Hierarchy. Proceedings of 1st International Workshop on Formal Models (WFM'06). Ostrava: Marq software s.r.o., 2006. p. 53-60. ISBN: 80-86840-20-4.
Type
conference paper
Language
English
Authors
Křivka Zbyněk, Ing., Ph.D., DIFS (FIT)
Schönecker Rudolf, Ing., DIFS (FIT)
Abstract

This paper introduces and discusses string-partitioning systems.
This formalization consists of partitioning the rewritten string into several parts, which the
systems rewrite by rules that specify to which part they are applied.  Based on the number of parts, the present paper establishes an infinite hierarchy of language families that coincides with the hierarchy resulting from the programmed grammars of finite index, so these systems actually represent a counterpart to these grammars.  In its conclusion, this paper suggests  some open problem areas.

Keywords

string-partitioning systems, programmed grammars, finite index, infinite hierarchy

URL
Published
2006
Pages
53–60
Proceedings
Proceedings of 1st International Workshop on Formal Models (WFM'06)
Conference
1st International Workshop on Formal Models (WFM'06)
ISBN
80-86840-20-4
Publisher
Marq software s.r.o.
Place
Ostrava
BibTeX 
@inproceedings{BUT22362,
  author="Zbyněk {Křivka} and Rudolf {Schönecker}",
  title="String-Partitioning Systems and An Infinite Hierarchy",
  booktitle="Proceedings of 1st International Workshop on Formal Models (WFM'06)",
  year="2006",
  pages="53--60",
  publisher="Marq software s.r.o.",
  address="Ostrava",
  isbn="80-86840-20-4",
  url="http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS//Vol-182/paper06.pdf"
}
Projects
Specifický výzkum, BUT, Vnitřní projekty VUT, SV, start: 2005-01-01, end: 2009-12-31, completed
Research groups
Formal Model Research Group (RG FM)
Departments
Department of Information Systems (DIFS)
Back to top