F3.D — Single-use automata and transducers for infinite alphabets

ICALP 2020