EDAN15 week2-3 Finite State Machines.pdf