Class 14 RE To DFA State Elimination Method
Class 14 RE To DFA State Elimination Method
In the end,
• Only an initial state going to the final state will be left.
• The cost of this transition is the required regular expression.
Problem-01:
Find regular expression for the following DFA-
Step-01:
Initial state A has an incoming edge. So, we create a new initial state q i.
Step-02:
Final state B has an outgoing edge. So, we create a new final state qf.
Step-03:
Now, we start eliminating the intermediate states.
First, let us eliminate state A.
There is a path going from state qi to state B via state A.
So, after eliminating state A, we put a direct path from state qi to state B
having cost ∈.0 = 0
There is a loop on state B using state A.
So, after eliminating state A, we put a direct loop on state B having cost 1.0 =
10.
Eliminating state A, we get-
Step-04:
Now, let us eliminate state B.
There is a path going from state qi to state qf via state B.
So, after eliminating state B, we put a direct path from state qi to state qf having cost 0.
(10)*.∈ = 0(10)*
Eliminating state B, we get-
Step-01:
There exist multiple final states. So, we convert them into a single final state.
The resulting DFA is-
Step-02:
Now, we start eliminating the intermediate states.
First, let us eliminate state q4.
There is a path going from state q2 to state qf via state q4.
So, after eliminating state q4 , we put a direct path from state q2 to
state qf having cost b.∈ = b.
Step-03:
Now, let us eliminate state q3.
There is a path going from state q2 to state qf via state q3.
So, after eliminating state q3 , we put a direct path from state q2 to
state qf having cost c.∈ = c.
Step-04:
Now, let us eliminate state q5.
There is a path going from state q2 to state qf via state q5.
So, after eliminating state q5 , we put a direct path from state q2 to
state qf having cost d.∈ = d.
Step-05:
Now, let us eliminate state q2.
There is a path going from state q1 to state qf via state q2.
So, after eliminating state q2 , we put a direct path from state q1 to
state qf having cost a.(b+c+d).
3
4 5
Solution-
Step-01: