Digital Electronics: Finite-State Machines