Unformatted text preview: delta3 is constructed from delta3([x1,x2],a) = [delta1(x1,a), delta2(x2,a)] for all a in sigma and all [x1,x2] in Q1 x Q2. We choose to say the same alphabet is used in both machines, but this works in general by picking the alphabet of M3 to be the intersection of the alphabets of M1 and m2 and using all 'a' from this set....
View Full Document
- Fall '08
- Set Theory, Cartesian product, Ordered pair