Digital Electronics V3: Finite-State Machines