Derivation of Primitive Flow Table: Cont.
States marked * cannot lead to a 1 output without first resetting.
??Primitive Flow Table: Only one stable state per row is permitted, so every change in input must result in an internal state change as well as a toatl state change (by definition).