TOC | Complementation process in DFA

Prerequisite – Design a Finite automta
Suppose we have a DFA that is defined by ( Q, \Sigma, \delta, q0, F ) and it accepts the language L1. Then, the DFA which accepts the language L2 where L2 = ̅L1‘, will be defined as below:

( Q, \Sigma, \delta, q0, Q-F )

The complement of a DFA can be obtained by making the non-final states as final states and vice-versa. The language accepted by the complemented DFA L2 is the complement of the language L1.

Example-1:
L1: set of all strings over {a, b} of even length



L1 = {\epsilon, ab, aa, abaa, aaba, ....} 

L2: set of all strings over {a, b} of odd length

L2 = { a, b, aab, aaa, bba, bbb, ...} 

Here, we can see that L2 = ̅L1

Lets first draw the DFA for L1 that accepts the strings of even length.

Now, for designing the DFA for L2, we just need to complement the above DFA. We will change the non-final states as final state and the final states as non-final states.

This is our required complemented DFA.

Example-2:
L1: set of all strings over {a, b} starting with ‘a’.

L1 ={ a, ab, aa, aba, aaa, aab, ..} 

L2: set of all strings over {a, b} not starting with ‘a’.

L2 ={ \epsilon, b, ba, bb, bab, baa, bba, ...} 

Here, we can see that L2 = ̅L1


Lets first draw the DFA for L1 that accepts the set of all strings over {a, b} starting with ‘a’

Now, for designing the DFA for L2, we just need to complement the above DFA. We will change the non-final states as final state and the final states as non-final states.

This is our required complemented DFA that accepts the strings that are not starting with ‘a’.
Note: Regular languages are closed under complement (i.e Complement of regular language will also be regular).



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.



Improved By : VaibhavRai3