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

1.1k questions

1.2k answers


546 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 (166k points)
selected by
Imprint | Privacy Policy