1. A Moore machine is a finite state machine where the output depends only on the current state. It was defined to have states, input and output alphabets, transition and output tables.
2. A Mealy machine is also a finite state machine but its output depends on both the current state and the current input. It was defined to have states, input and output alphabets, and a pictorial representation showing state transitions and outputs.
3. Examples were given of both Moore and Mealy machines to illustrate their workings and how to determine the output string for a given input string. This included machines for complementing binary numbers and incrementing binary numbers.