Lema 2.2
Sea
![$\mbox{\it SAF\/}$](img786.gif)
un semiautómata finito. Entonces su monoide
![$S_{\mbox{\scriptsize\it SAF}}$](img835.gif)
puede ser dotado de una estructura de semiautómata, y si
![$\mbox{\it AF\/}=(\mbox{\it SAF\/},F)$](img882.gif)
es un autómata cuyo semiatautómata adyacente es SAF, entonces puede distinguirse a algunas clases de equivalencia de manera que el autómata resultante queda subsumido por
![$\mbox{\it SAF\/}$](img786.gif)
.