A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
Lecture Notes in Computer Science
We introduce top-down deterministic transducers with rational lookahead (transducer for short) working on infinite terms. We show that for such a transducer e T , there exists an MSO-transduction T such that for any graph G, unfold(T (G)) = e T (unfold (G)). Reciprocally, we show that if an MSO-transduction T "preserves bisimilarity", then there is a transducer e T such that for any graph G, unfold (T (G)) = e T (unfold(G)). According to this, transducers can be seen as a complete method ofdoi:10.1007/978-3-540-24749-4_38 fatcat:4onayeweibgp7mo7py7cimzrdu