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

769 questions

886 answers

1.3k comments

424 users

0 votes
I=!(p->q),

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

My solution:

init 2;

transitions (0,{a},{},0); (0,{a},{},2); (2,{a},{},0); (2,{a},{},2);

but the portal rejected my answer. Any hint?
in * TF "Information Systems" by (280 points)
edited by

1 Answer

0 votes

The transition (2,{a},{!0},2) does not make sense. I guess you mean (2,{a},{},2).

by (117k points)
yeah... sorry it's a mistake. I'll edit it
Imprint | Privacy Policy
...