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:

L_{1}= {01, 001, 101, 0101, 1001, 1101, ....} L_{2}= {11, 011, 101, 110, 0011, 1100, .....}

L = L_{1}and L_{2}= L_{1}∩ L_{2}

**State Transition Diagram for the language L _{1} :**

This is a DFA for language L

_{1}

It accepts all the string that accept 01 at end.

**State Transition Diagram for the language L _{2} :**

This is a DFA for language L

_{2}

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

**State Transition Diagram of L _{1} ∩ L_{2} : **

Intersection of L

_{1}and L

_{2}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 = L_{1}∩ L_{2}= {1001, 0101, 01001, 10001, ....}

Thus as we see that L_{1} and L_{2} 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 CS Theory concepts for SDE interviews with the CS Theory Course at a student-friendly price and become industry ready.

## Recommended Posts:

- Union and Intersection of Regular languages with CFL
- Union process in DFA
- Concatenation process in DFA
- Complementation process in DFA
- Reversal process in DFA
- DFA of a string with at least two 0’s and at least two 1’s
- DFA for strings not containing consecutive two a's and starting with 'a'
- Turing Machine to accept maximum of two numbers
- Construct Turing Machine for L = {a^i b^j | i<j, i>0}
- Moore Machines implementation in C++
- Restricted Turing Machines
- BNF Notation in Compiler Design
- Program to build DFA that accepts the languages ending with "01" over the characters {0, 1}
- Difference between Finite Automata and Turing Machine

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.