Student Thesis STUD-2257

BibliographyBischoff, Bastian: Algebraische Hilfsmittel für die Aneinanderreihung von Nebenläufigen Systemen.
University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Student Thesis No. 2257 (2010).
35 pages, german.
CR-SchemaF.4.3 (Formal Languages)
Abstract

Eine mögliche Beschreibung von sequentiellen Systemen ist die Darstellung mit formalen Wortsprachen. Dem Produkt von Sprachen entspricht das Schützenberger-Produkt auf der Seite der Monoide. Für nebenläufige Systeme eignet sich das von Mazurkiewicz entwickelte Konzept der Spursprachen. Zur Beschreibung von Spursprachen entwickelten Kufleitner und Weil sogenannte Unabhängigkeitsmonoide. Dies sind Monoide, versehen mit einer binären Relation zur Beschreibung von Abhängigkeit und Unabhängigkeit von Prozessen. Unabhängigkeitsmonoide eignen sich für Spursprachen als algebraische Grundstruktur. In der vorliegenden Arbeit wird das Schützenberger-Produkt auf Unabhängigkeitsmonoide erweitert. Analog zum Schützenberger-Produkt für Wortsprachen erkennt die Erweiterung genau das Produkt von Spursprachen. Damit wurde ein wichtiges Werkzeug bei Wortsprachen auf Spursprachen übertragen. Außerdem werden mit sternfreien Sprachen sowie mit erkennbaren Ausdrücken zwei Anwendungen des erweiterten Schützenberger-Produkts angegeben.

Full text and
other links
PDF (413238 Bytes)
Access to students' publications restricted to the faculty due to current privacy regulations
Department(s)University of Stuttgart, Institute of Formal Methods in Computer Science, Formal Concepts
Superviser(s)Manfred Kufleitner
Entry dateFebruary 28, 2011
   Publ. Computer Science