Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen: doi:10.22028/D291-25776
Titel: Non-structural subtype entailment in automata theory
Verfasser: Niehren, Joachim
Priesnitz, Tim
Sprache: Englisch
Erscheinungsjahr: 2001
Quelle: Proceedings of the Fourth International Symposium on Theoretical Aspects of Computer Software, TACS 2001, Sendai, Japan, October 29-31, 2001. - Berlin: Springer, 2001. (Lecture Notes in Computer Science; 2215), pp.360-384.
SWD-Schlagwörter: Algebraische Automatentheorie
Freie Schlagwörter: Automata Theory
DDC-Sachgruppe: 004 Informatik
Dokumentart : InProceedings (Aufsatz / Paper einer Konferenz etc.)
Kurzfassung: 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-2942
hdl:20.500.11880/25832
http://dx.doi.org/10.22028/D291-25776
SciDok-Publikation: 12-Jul-2004
Fakultät: Fakultät 6 - Naturwissenschaftlich-Technische Fakultät I
Fachrichtung: MI - Informatik
Fakultät / Institution:MI - Fakultät für Mathematik und Informatik

Dateien zu dieser Ressource:
Datei Beschreibung GrößeFormat 
pauto.pdf244,89 kBAdobe PDFÖffnen/Anzeigen


Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.