A Comparison of Tree Transductions Defin
โ
Roderick Bloem; Joost Engelfriet
๐
Article
๐
2000
๐
Elsevier Science
๐
English
โ 547 KB
Two well-known formalisms for the specification and computation of tree transductions are compared: the mso graph transducer and the attributed tree transducer with look-ahead, respectively. The mso graph transducer, restricted to trees, uses monadic second order logic to define the output tree in t