Transforming a single-valued transducer into a Mealy machine
scientific article; zbMATH DE number 1210191
scientific article