Lab 2: Finite State Machines