a X2 X1 b FA1 b a,b a b + Y2 Y1 Y3 FA2 Using the algorithm given during the proof of Kleene's theorem, construct FAB for the product language (FAI FA2). Show all of the steps in obtaining the new 2 states and draw the state transition diagram for FA3