State Machine Digital Logic