Transition systems

Transition systems

question