| Bibliography | Lauser, Alexander: Fragmente einer Intervall-Logik.
University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Diploma Thesis No. 2823 (2009).
77 pages, german.
|
|---|
| CR-Schema | F.4.1 (Mathematical Logic)
F.4.3 (Formal Languages)
|
|---|
| Keywords | Formale Sprachen, Logik, Intervalllogik, Halbgruppe, Monoid, Algebra, Hierarchie, DA, Gleichungsbeschreibung |
|---|
| Abstract | 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.
|
|---|
Full text and
other links | PDF (798049 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, Theoretical Computer Science
|
|---|
| Superviser(s) | Kufleitner, Manfred |
|---|
| Entry date | January 25, 2010 |
|---|