No. They mean a set of states, a set of input symbols, a set of output symbols, an initial state, a transition function, and an output function. The output function maps from the state to the set of output symbols (or sometimes from the state and input to the output).

Is there a formal name for this?

It's probably closest to a finite state transducer. No guarantees that what I described above is exactly the definition, though.