Finite State Machine Examples

The attached document follows my re-learning of digital logic, with a focus on the design of simple finite state machines.
It provides step by step analysis as well as working examples that worked in Logisim.