What is Minimization of DFA?

Problem

Given a Deterministic Finite Automata (DFA), try to reduce the DFA by removing unreachable states and removing similar rows.

Solution

Step 1

Remove the unreachable states from q0

From the initial states, we are not able to reach q2 and q4. So, remove these two states as shown below −

After removing unreachable states, the partial minimized DFA is as follows −

Step 2

The transition table is given below −

Step 3

Divide tables into 2 tables as shown below −

Table 1 starts from the non-final states.

Table 2 starts from the final states.

Step 4

Remove similar rows.

Table 1 has no similar rows

Table 2 has similar rows. So, skip q5 and replace q5 by q3

Step 5

Combine two tables as shown below −

Thus, the minimized DFA will be as follows −

Bhanu Priya

Published on 12-Jun-2021 10:03:25

• Related Questions & Answers
• Minimization of ER Diagram
• What is the difference between DFA and NFA?
• Absolute Values Sum Minimization in JavaScript
• DFA based division
• DFA based division in C++?
• Explain Union process in DFA
• Give an example problem of converting NFA to DFA.
• Explain the intersection process of two DFA’s
• Construct DFA of a string in which the second symbol from RHS is ‘a’
• Explain the operation of DFA with block diagram in TOC
• Explain the concatenation process in DFA
• Explain the complementation process in DFA
• Design a DFA accepting stringw so that the second symbol is zero and fourth is 1
• Check if binary string multiple of 3 using DFA in Python
• Construct DFA of alternate 0’s and 1’s