Suppose I have two DFAs D1, D2 and I perform the product construction on them to get a DFA for the union of their languages. What is always true about the resulting DFA D?

(a) The number of states in D is equal to the maximum of the number of states in both of D1, D2.

D.) If L (D1) = ∅, then L (D) = L (D2).

Question

Chocolate

Computers & Technology

22 October, 09:34

Suppose I have two DFAs D1, D2 and I perform the product construction on them to get a DFA for the union of their languages. What is always true about the resulting DFA D?

(a) The number of states in D is equal to the maximum of the number of states in both of D1, D2.

D.) If L (D1) = ∅, then L (D) = L (D2).

+3

Answers (1)

Know the Answer?

Cecelia Roy · Answer 1

If L (D1) = L (D2), the D has every state being final

If L (D1) = L¯ (D2), the D has every state being final

If L (D1) = ∅, then L (D) = L (D2).

If L (D1) = Σ, L (D) = L (D2)