Let M1 and M2 be DFAs that have k1 and k2 states,
Chapter , Problem 1.72(choose chapter or problem)
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 6= , then U contains some string s, where |s| < max(k1,k2). b. Show that if U 6= , then U excludes some string s, where |s| < k1k2.
Unfortunately, we don't have that question answered yet. But you can get it answered in just 5 hours by Logging in or Becoming a subscriber.
Becoming a subscriber
Or look for another answer