Tell me more ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.
up vote 0 down vote favorite
1

Refer to the paper Radu Grosu, "Finite Automata as Time Invariant Linear Systems - Observability, Reachability and More". I have a problem understanding the state transition diagram of DMA $M_1$ in Figure 2. It seems that the transition map is only partially defined. In particular, what is the next state by applying $b$ while in state $x_2$ or what is the next state by applying $a$ while in state $x_3$?

Thanks.

share|improve this question
3  
Often that means that there is a transition to a "dead" state which is omitted from the diagram. A "dead" state is a nonaccepting state from which all transitions lead back to the dead state. Does that make sense in the context? – MJD Mar 22 '12 at 22:17
I think it does make sense. Thanks. – Manos Mar 22 '12 at 22:21

Know someone who can answer? Share a link to this question via email, Google+, Twitter, or Facebook.

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.