Ejercicio: dada una línea serial, reconocer cuando se han pasado un número par de bits 0 o 1.
El autómata tiene un estado inicial que coincide con el estado final y devuelve aceptado si el número par de bits ha pasado por los estados.
Ten en cuenta que la prueba del autómata hecha con el múltiple run es un modo de trabajo requerido en los próximos ejercicios.
Ejercicio siguiente realizado con jflap (descarga jflap debajo de este sitio o del sitio www.jflap.org )
Aquí descargas una versión probada de jflap, pero para la documentación, haz referencia al sitio jflap.org