Determinization of transducers over finite and infinite words.
scientific article; zbMATH DE number 1857063