The state in the transducers isn't always finite!