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

1.1k questions

1.2k answers


543 users

0 votes


The diagram below the state diagram and its breakpoint construction.

My question is why do we not have a transition from q2 to q3 with input 'a'. Since the successor of q2 with 'a' is also q3. In that case, would we have transition from q2 to q3 with both 'a' and 'b' and hence '*' as input there?

In short, my question is, would it be valid to replace the green highlighted 'b' input with a '*' ?

Also, are we supposed to check transitions for all input combinations? i.e. in this case would be !a&!b, !a&b, a&!b, a&b

in * TF "Emb. Sys. and Rob." by (380 points)

1 Answer

+1 vote
Best answer
The transition from q2 to q3 can be taken for all inputs that satisfy the formula b, so it can be taken for a&b and !a&b, right?
by (166k points)
selected by

Related questions

Imprint | Privacy Policy