The single-use restriction for register automata and transducers over infinite alphabets

Open in new window