runMach - Machine isn't in a state

[jch]

What should we use to represent if the machine is in a nonexistant state.

[bushk]

unsure of the question.

our DFA's can very well have an implicit rejection state for all cases
where the transition function isn't defined.

if you're simply looking to test runmach from nonexistant init states,
i'd rec just doing it manually.

[Nedialko B. Dimitrov]

Yes, I dont understand what you mean by a "nonexistant state" for your
DFAs. The spec says that DFAs must have a single transition for each
alphabet character. Thus, it will always be well defined where you should
go/end up.

Ned.