Reputation: 3515
How do we combine two dfa using intersection method ?
Upvotes: 4
Views: 2785
Reputation: 3257
Use the cross product construction, explained formally here.
Essentially you cross product the sets of states in each one to get a list of meta states corresponding to any combination of states for each machine. This allows you to do a parallel evaluation to accept if both accept.
Upvotes: 2