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


524 users

0 votes

May I know in the question below, how the NDetF automata formula and transition diagram are written for [a SU b] with only one state variable?

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

1 Answer

0 votes
Maybe I do not understand you question, but with one state variable q, we have two states, namely one where q is false and another one where q is true. These states are represented as {} and {q}, respectively.
by (165k points)
Yes. We have two states {} and q.
We are in the initial state {} and for [a SU b], if the input is a and !b we will be in {}.
Once we get input b(a SU b is satisfied), we move to the acceptance state.

Here, I am able to draw the transition diagram first based on a SU b
Then I am finding the transition relation for the automata.

Is this the only way to solve this question or
Is it possible to write the automata for a SU b first and then go for the transition diagram?
There are certainly many ways how you can proceed here, and there are also many possible automata which are correct.
Thanks for clarifying, Professor.
Imprint | Privacy Policy