Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen:
doi:10.22028/D291-25763
Titel: | Non-structural subtype entailment in automata theory |
VerfasserIn: | Niehren, Joachim Priesnitz, Tim |
Sprache: | Englisch |
Erscheinungsjahr: | 2003 |
Quelle: | Information and Computation, v.186(2003), n.2, p.319-354 |
Kontrollierte Schlagwörter: | Logik des Entailment |
Freie Schlagwörter: | Automata Theory |
DDC-Sachgruppe: | 004 Informatik |
Dokumenttyp: | Journalartikel / Zeitschriftenartikel |
Abstract: | Decidability of non-structural subtype entailment is a long-standing open problem in programming language theory. In this paper, we apply automata theoretic methods to characterize the problem equivalently by using regular expressions and word equations. This characterization induces new results on non-structural subtype entailment, constitutes a promising starting point for further investigations on decidability, and explains for the first time why the problem is so difficult. The difficulty is caused by implicit word equations that we make explicit. |
Link zu diesem Datensatz: | urn:nbn:de:bsz:291-scidok-2562 hdl:20.500.11880/25819 http://dx.doi.org/10.22028/D291-25763 |
Datum des Eintrags: | 15-Jun-2004 |
Fakultät: | MI - Fakultät für Mathematik und Informatik |
Fachrichtung: | MI - Informatik |
Sammlung: | SciDok - Der Wissenschaftsserver der Universität des Saarlandes |
Dateien zu diesem Datensatz:
Datei | Beschreibung | Größe | Format | |
---|---|---|---|---|
subtype.pdf | 307,02 kB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.