finite state machines part 2 lecture 20 724723