Simulation and Bisimulation verbosity

Question

Hello,

in the exam, do we have to write down each step B₀, B₁, ..., B_* or is it sufficient to write down B₀, do our calculations with those diagrams where we check for relations in the successors, and then finally write down B_*?

Answer 1

I suggest that you write down intermediate steps for one particular reason: If there is a mistake at the end, we can just say that it is wrong, but if the step in between are fine, we can give more points. You may also write those add those diagrams and add B*.

Comments

Okay, but for full points it is sufficient to write B0, B*, and the diagrams? I.e. do I get full points if I don't write down intermediate steps?