Simplifique el siguiente autómata a través del método de tabla de estados distinguibles

Resolución:
1) tabla de estados distinguibles
2) simplificando y redibujando:
finalmente:
El autómata se reduce hasta dos estados

y ahora observamos el árbol par ver que si son equivalentes.

No hay comentarios:
Publicar un comentario