Edward F. Moore

• Sequential machines
• Automata theory
• The shortest path through a maze