machines Universal machine Moore = Mealy Intuitions Sharing Noninterference Lesson and trouble Example 2: Mealy Binary addition process ◮ Q = {q0 , q1} ◮ I = {00, 01, 10, 11} ◮ O = {0, 1} ◮ θ : 00 01 10 11 q0 0, q0 1, q0 1, q0 0, q1 q1 1, q0 0, q1 0, q1 1, q1