(Totally speculating here) I imagine the states would be something like "have no numbers", "have one number", and "have both numbers". And there would be some

(Totally speculating here) I imagine the states would be something like "have no numbers", "have one number", and "have both numbers". And there would be some kind of transition in-to or out-of that third state that would specify the addition.