Is DFA a Moore machine or not?
Imagine a system S1-&gt;S2-&gt;S3(final). 


DFA transition rules are (S1,a,S2) and (S2,b,S3).
Moore machine rules are (S1,(a,1),S2) and (S2,(b,2),S3).


For the input 'ab',


DFA will output 'ab'-&gt;TRUE
Moore machine will output 'a'-&gt;1, 'b'-&gt;2.


As you can see, DFA doesn't output at each stage. Independent of the input length, you have one output. However, for the Moore machine, size(input)=size(output). Since the input-output relations differ, you cannot conclude that a DFA is a Moore machine.