Bibliography | Bischoff, 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-Schema | F.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 date | February 28, 2011 |
---|