myhill_nerode

17

Click here to load reader

Upload: amukhopadhyay

Post on 15-May-2017

212 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: myhill_nerode

State Minimization using Myhill-Nerode method

Abhishek Mukhopadhyay14-04-2014

Page 2: myhill_nerode

Myhill-Nerode overview

Page 3: myhill_nerode

Procedure to do state

Page 4: myhill_nerode

minimization• Example

Page 5: myhill_nerode

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.

Page 6: myhill_nerode

Pictorial view of step I

Page 7: myhill_nerode

State minimization

Page 8: myhill_nerode

State minimization

Page 9: myhill_nerode
Page 10: myhill_nerode
Page 11: myhill_nerode
Page 12: myhill_nerode
Page 13: myhill_nerode

Construction of minimized FSA

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

Page 14: myhill_nerode

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

Page 15: myhill_nerode
Page 16: myhill_nerode
Page 17: myhill_nerode