eldorado.tu-dortmund.de/server/api/core/bitstreams/42cbda10-76ab-4ab0-b035-5d8cb7472907/content
tn) beschreibt den String q1 . . . qn ∈ Q∗, mit dem die Wurzeln der Bäume t1,. . . , tn
gelabelt sind
7
problems für n Top-down deterministische Baumautomaten, das als EXPTIME-hard bekannt ist, auf TC[TA [...] lassen sich auf das typechecking- Problem für nicht löschende Transducer mit Kopierbreite k übertragen.
7 Ergebnisse und Ausblick Das typechecking-Problem kann durch geschicktes Einschränken der Schemasprachen [...] nicht weiter ausgeführt. Eine logische Weiterführung dieser Arbeit
9
findet sich in [4]. In Abbildung 7 sind die Ergebnisse von Martens und Neven in [5] zusammenhängend aufgeführt.
Einschränkung NTA DTA DTD(NFA) …