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


529 users

0 votes

The question only mentions a "modification" to be made. So can we leave it at the required conjunction? If not, then which simplification is recommended (DNF, CNF, SNF)?

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

1 Answer

0 votes
Best answer
Good point, but I think at least the formulas for the transition relation and Phi_inf with the substituted variables should be written down. More is not needed, I would say.
by (166k points)
selected by
Imprint | Privacy Policy