related documents From Monadic Second-Order Definable String Transformations to Transducers Conference Proceeding Regular Real Analysis Conference Proceeding