myhill_nerode

State Minimization using Myhill-Nerode method

Abhishek Mukhopadhyay14-04-2014

Myhill-Nerode overview

Procedure to do state

minimization• Example

Step I•Form a table with size equal to the number of states.• Find out the pair with one non-final and

one final states.•Put a tick mark in the corresponding box.

Pictorial view of step I

State minimization

Construction of minimized FSA

1• This process will stop when we will find out that there is no more connection between pair of states.

•For pair (p,t), if we apply a on both p and t,

Documents