Bibliograph. Daten | Lauser, Alexander: Fragmente einer Intervall-Logik. Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik, Diplomarbeit Nr. 2823 (2009). 77 Seiten, deutsch.
|
CR-Klassif. | F.4.1 (Mathematical Logic) F.4.3 (Formal Languages)
|
Keywords | Formale Sprachen, Logik, Intervalllogik, Halbgruppe, Monoid, Algebra, Hierarchie, DA, Gleichungsbeschreibung |
Kurzfassung | In dieser Arbeit wird eine Hierarchien von Varietäten unterhalb der Varietät DA untersucht. Es werden verschiedene Charakterisierungen für die Zugehörigkeit zu einer Ebene in diesen Hierarchien bewiesen. Unter anderem werden neben bekannten Charakterisierungen über Kongruenzen und sogenannte Mal'cev-Produkte zwei neue Beschreibungen durch Gleichungen gezeigt.
Darüber hinaus werden die Intervalllogik UITL und verschiedene Fragmente davon eingeführt und gezeigt, dass die Ebenen in der Hierarchie zu je einem Fragment von UITL korrespondieren, in der Art, dass eine Sprache genau dann durch eine Formel in diesem Fragment definierbar ist, wenn das syntaktische Monoid der Sprache zu der korrespondierenden Ebene in den Hierarchie gehört.
Der Schwerpunkt dieser Arbeit liegt jedoch auf algebraischen Untersuchungen.
|
Volltext und andere Links | PDF (798049 Bytes) Zugriff auf studentische Arbeiten aufgrund vorherrschender Datenschutzbestimmungen nur innerhalb der Fakultät möglich |
Abteilung(en) | Universität Stuttgart, Institut für Formale Methoden der Informatik, Theoretische Informatik
|
Betreuer | Kufleitner, Manfred |
Eingabedatum | 25. Januar 2010 |
---|