Lecture 01 - Finite State Machines