Let M 1 and M 2 be DFAs that have k1 and k2 states, respectively, and then

Question:

Let M1 and M2 be DFAs that have k1 and k2 states, respectively, and then let

U = L(M1) ∪ L(M2).

a. Show that if U ≠ ⌀, then U contains some string s, where |s| < max(k1, k2).

b. Show that if U ≠ Σ*, then U excludes some string s, where |s| < k1k2.

Fantastic news! We've Found the answer you've been seeking!

Step by Step Answer:

Related Book For  book-img-for-question
Question Posted: