Assignment Solution CS402 Fall 2010 Assignment No 2

Solution:

r

1* (Closure of r1).

New States Old States

A B

Z1-

Z2

Z3

Z4+

Z5+

Z6+

Z7+



Question No.2Solution:

≡ (x1) (x2) ≡ Z2 (x3) ≡ Z3≡ (x2) (x3) ≡ Z3 (x4,x1) ≡ Z4≡ (x3) (x3) ≡ Z3 (x3) ≡ Z3≡ (x4,x1) (x4,x1,x2) ≡ Z5 (x4,x1,x3) ≡ Z6≡ (x4,x1,x2) (x4,x1,x2) ≡ Z5 (x4,x1,x3) ≡ Z6≡ (x4,x1,x3) (x4,x1,x2,x3) ≡ Z7 (x4,x1,x3) ≡ Z6≡ (x4,x1,x2,x3) (x4,x1,x2,x3) ≡ Z7 (x4,x1,x3) ≡ Z6