DFA o ASF con JFLAP

Diseñar autómatas de 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

Diseñar autómatas de 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:

Intenta comprender la simulación del jflap con el autómata descrito anteriormente, ¿qué es válido como entrada?