Kleenex: compiling nondeterministic transducers to deterministic streaming transducers