1. Consider the following process definition. V def a. V b.V + b.a.U X Y...

Transcribed Image Text:

1. Consider the following process definition. น V def a. V b.V + b.a.U X Y def a.b.Y b.Ya.X 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. [10 marks] 1. Consider the following process definition. น V def a. V b.V + b.a.U X Y def a.b.Y b.Ya.X 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. [10 marks]

Answer rating: 100% (QA)

Solutiont f x4 x xy y So its corresponding matine As 23 coids The correspondi... View the full answer