lecture 20 finite state machines ii 4347