Diplomarbeit DIP-2823

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)
KeywordsFormale 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
BetreuerKufleitner, Manfred
Eingabedatum25. Januar 2010
   Publ. Institut   Publ. Informatik