Intersection process of two DFAs

Prerequisite – Design a Finite automta

Let’s understand the intersection of two DFA with an example.
Designing a DFA for the set of string over {0, 1} such that it ends with 01 and has even number 0f 1’s.
There two desired language will be formed:

L1= {01, 001, 101, 0101, 1001, 1101, ....} 
L2= {11, 011, 101, 110, 0011, 1100, .....}
L = L1 and L2 = L1 ∩ L2 

State Transition Diagram for the language L1 :
This is a DFA for language L1

It accepts all the string that accept 01 at end.



State Transition Diagram for the language L2 :
This is a DFA for language L2

It accepts all the string that accept with even number of 1’s.

State Transition Diagram of L1 ∩ L2 :
Intersection of L1 and L2 can be explained by language that a string over {0, 1} accept such that it ends with 01 and has even number of 1’s.

L = L1 ∩ L2
= {1001, 0101, 01001, 10001, ....} 

Thus as we see that L1 and L2 have been combined through intersection process and this final DFA accept all the language that has even number of 1’s and is ending with 01.

Attention reader! Don’t stop learning now. Get hold of all the important DSA concepts with the DSA Self Paced Course at a student-friendly price and become industry ready.

My Personal Notes arrow_drop_up

Check out this Author's contributed articles.

If you like GeeksforGeeks and would like to contribute, you can also write an article using contribute.geeksforgeeks.org or mail your article to contribute@geeksforgeeks.org. See your article appearing on the GeeksforGeeks main page and help other Geeks.

Please Improve this article if you find anything incorrect by clicking on the "Improve Article" button below.


Article Tags :

Be the First to upvote.


Please write to us at contribute@geeksforgeeks.org to report any issue with the above content.