390 ~ Solutions (or Hints) to Chapter-end Exercises
(ab + a)*(aa + b)
r:\
f-------_+{~
Fig. A5.1 Transition system for Exercise 5.5.
5.6 The transition system equivalent to a(a + b)*ab (5.3)(a)) is given in
Fig. A5.2.
a(a + b)*ab
r:\
f-----------+l~
a, b
-GY0- q4
Fig. A5.2 Transition ,system for Exercise 5.6.