title: Estimate the number of states in a DFA (intersection)
body: <p>I'm having trouble understanding how to estimate the number of states in the intersection of two DFA's (M1 and M2, which have n and k states). I don't want to construct an actual DFA, but to understand how many states an intersection will give. For example, the union of M1 and M2 will give |n| x |k| states (if I have understood this correctly). Is there anyone who could help me understand this problem? I have some difficulty understanding DFA's... </p>