HELP ASAP

1. Consider the following process definition. u def a.V X a.b.Y v def b.V + b.a.U Y def b.Y + a.X der z def u + X (a) Draw a labelled transition system for the above process definition. Label every state with the process expression representing that state. (b) Explain how the states U, X and Z differ from each other in the behaviour that they exhibit