Ausarbeitung abgegeben
Heute habe ich meine Ausarbeitung zum Thema "Der Zusammenhang von CTL und LTL auf Bäumen" in der endgültigen überarbeiteten Fassung abgegeben. Diese Arbeit entstand für das Seminar der Theoretischen Informatik zum Thema "Automatentheorie" am Lehrstuhl für Informatik 7 an der RWTH Aachen. Die Abschlußpräsentation meines Themas fand am 18. April 2008 statt.
In meiner Ausarbeitung behandle ich den Zusammenhang der Temporalen Logiken LTL und CTL auf Baumsprachen. Die Aussagekraft von LTL und CTL unterscheidet sich, jedoch sind einige Sprachen in beiden Logiken definierbar. Man kann zeigen, dass die Teilmenge von CTL, in der nur Existenzquantoren erlaubt sind – ACTL – erstaunlicherweise weniger Gemeinsamkeiten mit LTL hat als CTL; eine Erkenntnis, die erst Anfang des Jahres 2008 gezeigt werden konnte. Diese Arbeit zeigt, warum bestimmte Eigenschaften in jeweiligen Logiken definierbar oder nicht definierbar sind und den daraus resultierenden Schnittmengen der Logiken zugeordnet werden.
Die Ausarbeitung ist in deutscher Sprache verfasst und hier zu finden. Die zugehörigen Präsentationsfolien sind hier zu finden.
Achtung: Die Datei ist nur aus dem RWTH-Netz verfügbar. Anfragen von außerhalb benötigen einen speziellen Login. Um Logindaten zu erhalten kontaktieren Sie mich bitte hier.