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

1.1k questions

1.3k answers

1.7k comments

556 users

0 votes

Hey, I cannot understand why they have created a pair for (S0,Q0), (S3,Q0) as S0 = {d} and Q0 = {c}.

 

in # Study-Organisation (Master) by (120 points)

1 Answer

0 votes
For the initial relation, we have to related states that agree on the truth value of the shared variables. The two structures have variables a,b,d and a,b,c so that the shared variables are only a,b. Hence, we ignore the variables c and d, and only construct state pairs that agree on the truth values of variables a and b.

For examples, in states S0 and Q0 the labels are {d} and {c}, respectively, so that both an and b are false. Hence, these states agree on the shared variables (a and b).
by (170k points)
Imprint | Privacy Policy
...