Diseñar autómatas a estados finitos y probarlos con JFLAP es una práctica útil para la formalización de algoritmos determinísticos combinatorios de fácil diseño.
Comencemos con este video:
El ejercicio que debemos realizar ahora es el siguiente:
Trata de comprender la simulación del jflap con el autómata descrito anteriormente, ¿qué es válido como entrada?
