Finite State Machine Digital Logic Design