Lecture 11. State machine design and implementation methods.