I have a question regarding the following example:
![](https://q2a.cs.uni-kl.de/?qa=blob&qa_blobid=5819673009225679609)
I tried to solve it in the same way shown in the lecture video (https://es.cs.uni-kl.de/teaching/vrs/videos/VRS-04-Transitionsystems-3.html 1:08:00):
However, this does not lead to the right answer (right answer is seen above).
I also used the Tool:
![](https://q2a.cs.uni-kl.de/?qa=blob&qa_blobid=2130868424718639007)
I quess that one could also rephrase my question into: "Why is there no transition from the state (p,a) to itself"?
IMO there should be one since p and p' would be satiesfied and therefore (next(p)|next(q)->a&!(o->q))&p would be true.