Vu, Martin

Lade...
Vorschaubild
Preferred name
Vu, Martin
Official Name
Vu, Martin
ORCID

Einstellungen

Gerade angezeigt 1 - 1 von 1
  • Lade...
    Vorschaubild
    Some of the metrics are blocked by your 
    consent settings
    Item-typ:Veröffentlichung,
    Definability problems for tree transducers
    (2024-11-25)
    Vu, Martin
    ;
    Filiot, Emmanuel
    ;
    Maneth, Sebastian
    ;
    Maneth, Sebastian
    In dieser Arbeit betrachten wir Definierbarkeitsprobleme für ‘Tree Transducer’, das heißt Maschinen, welche Bäume als Eingabe nehmen und diese zu Ausgabebäumen übersetzen. Definierbarkeitsprobleme sind Fragen der folgenden Art: Ist es für einen gegebenen Tree Transducer T aus einer Klasse C entscheidbar, ob es einen äquivalenten Tree Transducer aus der Klasse C ′ gibt und falls ja, können wir solch einen Tree Transducer konstruieren? Falls die Antwort zu dieser Frage ‘ja’ ist, sagen wir, dass die Klasse C ′ innerhalb der Klasse C definierbar ist. Typischerweise ist die Klasse C ′ eine strikte Unterklasse von C. Im Speziellen liegt der Schwerpunkt in dieser Arbeit auf der Klasse der Top-Down Tree Transducer und der Klasse der Attributed Tree Transducer.
    Dissertation
      116  177