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

928 questions

1k answers

1.4k comments

441 users

0 votes

S2=mu x. ([] x | nu y. (b & b & [] y))

Over here can we stop the calculation on the second round for the inner brackets since we can notice that it is not dependent on x and directly continue with the previous fixed point result? 

Will the answer be considered in the exam?

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

1 Answer

0 votes
 
Best answer
Since it is correct, it will certainly be accepted.
by (143k points)
selected by
Imprint | Privacy Policy
...