Digital Electronics: Introduction to State Machines