Lec 4: State and Finite State Machines