Here you can ask questions and find or give answers to organizational, academic and other questions about studying computer science.

974 questions

1.1k answers


472 users

0 votes
Please explain how to draw the state transition diagram directly using the transition relation for only reachable states.

I cannot understand how {p,q} on giving input b reaches q state.
in # Study-Organisation (Master) by (850 points)

1 Answer

0 votes
You start with the initial states, maybe there  is only one or two. Then, you consider the transition relation where the state variables have been replaced with the constants that determine the initial state that you consider. Then, you compute the satisfying assignments of the specialized transition relation which enumerates the transitions from that initial state. That gives you further states that are reachable, and you have to proceed next the same way with them.

Proceeding this way will make sure that you will not waste time for computing transitions of unreachable states.
by (148k points)
Imprint | Privacy Policy