Riempita la prima tabella si procede con la successiva iterazione ottenendo la seguente tabella :
Analizzando la tabella delle transizioni dell'automa a stati finiti si ottiene la tabella a scala. Procedendo con la prima iterazione la tabella sarà :
Riempita la prima tabella si procede con la successiva iterazione ottenendo
la seguente tabella :
Quindi si termina perchè una successiva iterazione non darebbe
luogo ad alcuna variazione della tabella.
L'unica equivalenza ottenuta è : A ~ B
Quindi si puo' associare una lettera agli stati equivalenti
da cui la relativa tabella delle transizioni :
