Question

Suppose we have two DFAs M1 with 4 total states of which 2 are final and M2 with 6 total states of which 4 are final. How may final states will the resulting DFA M' = Min M2 have when using the product construction to create the intersection between these two au- tomatons without any minimization?

Answer 1

The resulting DFA M' = Min M1 ∩ M2 will have 8 final states.

Step-by-step explanation:

The resulting DFA M' = Min M1 ∩ M2 will have a number of final states equal to the number of final states in M1 multiplied by the number of final states in M2. In this case, M1 has 2 final states and M2 has 4 final states, so the resulting DFA will have 2 * 4 = 8 final states.