next up previous
Next: Applications of Myhill-Nerode Theorem Up: Distinguishing Suffixes Previous: If L is

A Minimization Procedure

figure104

figure110

  1. Mark tex2html_wrap_inline498 if x is a final state and
    y is a non-final state.
  2. For each unmarked pair tex2html_wrap_inline504 ,
    if tex2html_wrap_inline506 such that
    tex2html_wrap_inline508 is marked,
    then mark tex2html_wrap_inline504 and
    recursively mark those on the list for tex2html_wrap_inline504 ,
    else put tex2html_wrap_inline504 in the list for tex2html_wrap_inline508 .


Sushil Prasad
Mon Feb 28 15:37:03 EST 2000