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

918 questions

1k answers

1.4k comments

441 users

0 votes
I=I=q,

R=R=!(next(q)&q&p|(o->a)|next(p))

I Belive, below is the correct solution to the above question. I have tried it using the truth table.

Sol: init 2;transitions (0,{},{o},0); (0,{},{o},2); (1,{},{o},0); (1,{},{o},2); (2,{},{o},0); (2,{},{o},2); (3,{},{o},0);

I get wrong ans in the online portal during submission.
in * TF "Information Systems" by (220 points)
edited by
Do you mean sheet 4, Question 2.a ?
Yes , I got the answer , init should be 2,3 instead of only 2.

1 Answer

0 votes
It is already answered in the comments.
by (142k points)

Related questions

0 votes
1 answer
0 votes
1 answer
0 votes
1 answer
0 votes
2 answers
asked May 28, 2021 in * TF "Emb. Sys. and Rob." by guptad (280 points)
Imprint | Privacy Policy
...