M
Martin Vu
Researcher at University of Bremen
Publications - 9
Citations - 10
Martin Vu is an academic researcher from University of Bremen. The author has contributed to research in topics: Computer science & Recursively enumerable language. The author has an hindex of 2, co-authored 5 publications receiving 8 citations.
Papers
More filters
Book ChapterDOI
Insertion-Deletion Systems with Substitutions I
Martin Vu,Henning Fernau +1 more
TL;DR: This work adds substitutions as a further type of operations to (in particular, context-free) insertion-deletion systems to obtain new characterizations of and normal forms for context-sensitive and recursively enumerable languages.
Book ChapterDOI
Insertion-Deletion with Substitutions II
Martin Vu,Henning Fernau +1 more
TL;DR: The authors discusses substitutions as a further type of operations, added to (in particular, one-sided) insertion-deletion systems and obtain new characterizations of classes of context-sensitive and recursively enumerable languages.
Book ChapterDOI
Definability Results for Top-Down Tree Transducers
TL;DR: In this article, it was shown that for a given deterministic top-down transducer with look-ahead, it is decidable whether or not its translation is definable by a linear topdown tree transducers or by a tree homomorphism.
Posted Content
Definability Results for Top-Down Tree Transducers
TL;DR: In this article, it was shown that for a given deterministic top-down transducer with look-ahead, it is decidable whether or not its translation is definable by a linear topdown tree transducers or a tree homomorphism.
Proceedings ArticleDOI
How to decide Functionality of Compositions of Top-Down Tree Transducers
TL;DR: It is proved that functionality of compositions of top-down tree transducers is decidable by reducing the problem to the functionality of one top- down tree transducer with look-ahead.