> Autómatas
Autómata 1
Autómata 2
Convertir a AFD
Probar cadena
Estados finales del autómata: