This document summarizes a lecture on finite state machines: 1. The lecture discusses finite state machines, including examples, state diagrams, state tables, and implementing FSMs in Verilog. 2. As an example, the lecture examines a circuit to store 16 bits of information and check if four 4-bit numbers are equal. 3. The problem set asks students to build Verilog systems for state machines, including one to control an elevator based on floor and button input.