Haga clic en el enlace autómatas dfa para abrir el recurso.