Studienarbeit STUD-2295

Bibliograph.
Daten
Walter, Tobias: Deterministische Intervall-Logik mit Faktor-Modalitäten.
Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik, Studienarbeit Nr. 2295 (2011).
42 Seiten, deutsch.
CR-Klassif.F.4.1 (Mathematical Logic)
F.4.3 (Formal Languages)
Kurzfassung

In dieser Studienarbeit werden verschiedene Logikfragmente untersucht. Als Fragment der Intervall-Logik wird ITL[F_w,L_w] betrachtet. Dabei führen wir die Faktor-Modalitäten F_w,\L_w für Faktoren w ein. Die Fragmente der Temporal-Logik die untersucht werden sind TL[X,Y,F,P] und TL[X_w,Y_w]. Auch hier treten diese Faktoren w wieder auf. Als Fragment der Logik erster Stufe betrachten wir FO^2[<,suc] und Delta_2[<,suc]. Dabei kann man sich an den Untersuchungen, die bereits für FO^2[<] existieren, orientieren. Weiterhin werden Ranker über Wörtern eingeführt. Es zeigt sich, dass alle diese Fragmente diesselben Sprachen charakterisieren.

Als weitere Charakterisierung dieser Sprachen werden die Varietäten DA*D und LDA eingeführt. Die Untersuchungen liefern damit auch einen kombinatorischen Beweis der sogenannten Lokalität von DA. Dies liefert gleichzeitig einen einfachen Beweis für die Entscheidbarkeit der Varietät DA*D.

Die Untersuchungen wurden auf unendliche Wörter übertragen.

Volltext und
andere Links
PDF (544541 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
Eingabedatum15. Februar 2011
   Publ. Informatik