Parciales

Buen día Thiago,

es como decís: para saber cuántas clases de equivalencia define $R_M$ agarro el autómata M en cuestión y cuento la cantidad de estados. Pero ojo, como $R_M$ hace una partición de todo $\Sigma^*$, no te olvides de chequear antes si el autómata es completo (o sea, que tiene definido un camino de procesamiento para toda tira de $\Sigma^*$). Si no lo es vas a tener que agregar el pozo, que también cuenta dentro de la cantidad de estados. O sea:

• si el autómata es completo: cuento la cantidad de estados
• si el autómata no es completo: lo completo agregando el pozo y las transiciones correspondientes, y luego cuento la cantidad de estados.