Consider the following FAs with the regular expressions r₁ (for FA₁) and r₂ (for FA₂).

By applying Kleenes theorem, an FA must be built for the regular expression r₁r₂. In the process a transition table is compiled. Which one of the following tables is the correct table in the solution for this problem?

• A.

  New state	Read an a	Read an b
  -z1 = x1	z2	z3
  z2 = x3 or y1	+z4	+z4
  z3 = x2	z3	z3
  +z4 = x3 or y1 or y2+	+z4	+z4

• B.

  New state	Read an a	Read an b
  -z1 = x1 or y1	z2	z3
  +z2 = x3 or y1 or y2+	+z4	+z4
  z3 = x2	z3	z3
  +z4 = y2+	+z4	+z4

• C.

  New state	Read an a	Read an b
  -z1 = x1	z2	z3
  z2 = x3	z4	z4
  z3 = x2	z3	z3
  z4 = x3	z5	z5
  z5 = y1	z5	z6
  +z6 = y2+	z6	z6

• D.

  New state	Read an a	Read an b
  -z1 = x1 or y1	z2	z3
  +z2 = x3 or y2+	+z4	+z4
  z3 = x2	z3	z3
  +z4 = x3 or y2+	+z4	+z4

a + a, b a, b a, b X1 X3 Y1 Y2 b FA FAZ X2 a, b