The outputs are just the results of the computations, and they have no influence on the course that the computations take.
It seems that much can be studied about finite-state transducers, or equivalently, about finite-memory programs even when their outputs are ignored.