Benutzer: Gast  Login
Originaltitel:
Formalizing Symbolic Decision Procedures for Regular Languages 
Übersetzter Titel:
Formalisierung Symbolischer Entscheidungsprozeduren für Reguläre Sprachen 
Jahr:
2015 
Dokumenttyp:
Dissertation 
Institution:
Fakultät für Informatik 
Betreuer:
Nipkow, Tobias (Prof., Ph.D.) 
Gutachter:
Nipkow, Tobias (Prof., Ph.D.); Silva, Alexandra (Prof. Dr.) 
Sprache:
en 
Fachgebiet:
DAT Datenverarbeitung, Informatik 
Stichworte:
decision procedure, regular language, Isabelle 
Übersetzte Stichworte:
Entscheidungsprozedur, reguläre Sprache, Isabelle 
TU-Systematik:
DAT 706d; DAT 540d 
Kurzfassung:
We study decision procedures for the equivalence of regular languages represented as regular expressions or logical formulas. Traditional algorithms in this context dispose of this symbolic representation by translating it into finite automata, which then are minimized and checked for structural equality. We develop concise algorithms that avoid this explicit translation by working with the symbolic structures directly. Our procedures are specified and proved correct in the proof assistant Isab...    »
 
Übersetzte Kurzfassung:
Wir beschäftigen uns mit Entscheidungsprozeduren für die Äquivalenz regulärer Sprachen, die durch reguläre Ausdrücke oder logische Formeln dargestellt sind. Traditionelle Algorithmen hierfür entledigen sich dieser symbolischen Darstellung, indem sie sie in endliche Automaten übersetzen, welche anschließend minimiert und auf strukturelle Gleichheit überprüft werden. Wir entwickeln kompakte funktionale Algorithmen, die diese explizite Übersetzung vermeiden und stattdessen mit der symbolischen Dars...    »
 
Mündliche Prüfung:
16.10.2015 
Dateigröße:
688689 bytes 
Seiten:
132 
Letzte Änderung:
20.11.2015