O is the non-empty finite set of output symbols, – δ:Q×I→Q is the transition function, which maps pairs of states and input symbols to the corresponding next states, – λ:Q×I→O is the output function, which maps pairs of states and input symbols to the corresponding output symb...