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

1.6k comments

529 users

0 votes

for below question

i got answers:

(p&!a&!q)|(!p&q&!a)|(!p&!a&!q)|(!p&a&!q) --dead states

(p&a&!q)|(p&q&!a)|(p&a&q)|(p&!a&!q)      -initial states

(p&a&!q)|(!p&q&a)|(p&q&!a)|(p&a&q) --reachable node

but in tool its showing as wrong solution .can some help me like how to do.how  can  we check in teaching tool whether solution is wrong or correct

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

2 Answers

0 votes
Read your deadend states again. I think one of the four states you listed should be a different one.

For the initial states, try to remove the deadend states.

Try to recompute them with the updated deadend states.
by (25.6k points)
thank you i will recompute
0 votes
The last dead-end-state is wrong. It should be (p&!a&q) instead of (!p&a&!q) since you can't go anywhere with !a from {p,q}.

As for you initial states, you need to remove all dead-end states from your list of initial states. Therefore you should only have the initial states p&!q&a and p&q&q since p&q&!a and p&!a&!q are dead-ends.

Then you need to reconsider your list of reachable notes with the corrected information about initial and dead-end states.
by (1.7k points)
thanks. (p&a&!q)|(!p&q&a)|(p&q&!a)|(p&a&q)  (is initial states are by default reachable node
According to the definition used in the exercise presentations, not all initial states are reachable: see https://q2a.cs.uni-kl.de/686/arent-all-initial-states-by-default-reachable
The reachable states then should be:
p&!q&a
!p&q&a
!p&q&!a
p&q&a
p&q&!a

Related questions

0 votes
1 answer
asked May 14, 2020 in * TF "Emb. Sys. and Rob." by ssripa (550 points)
0 votes
1 answer
asked May 21, 2020 in * TF "Emb. Sys. and Rob." by ssripa (550 points)
0 votes
0 answers
asked May 25, 2020 in * TF "Emb. Sys. and Rob." by KL (120 points)
0 votes
2 answers
asked May 23, 2020 in * TF "Emb. Sys. and Rob." by ssripa (550 points)
Imprint | Privacy Policy
...