*Fixed Transition S3 State

When the state is S3 and the input is 1, the next state become S1 since it is considered the first entry of a new sequence.