NFA para el idioma al menos uno de los símbolos que aparece un número impar de veces

Declaración del problema:
Diseñe y construya una máquina autómata finita no determinista que acepte la string sobre los alfabetos de entrada (a, b, c) con al menos uno de los (símbolos de entrada) que tenga un número impar de presencia en la string.

Ejemplo :

aaabbbb, ababac, ababababccc ... 

Acercarse:

• Construya Estado inicial con la marca –>.
• Realice transiciones de un estado a otro en cada alfabeto de entrada en consecuencia.
• compruebe si existe el requisito de construir un bucle propio o no.
• Marque el estado final con dos círculos concéntricos.

Diseño de NFA paso a paso:

Paso 1:
cree un estado inicial «A» que transite a tres estados diferentes como «B», «C», «D» para nulo.

Paso 2:
en el estado «B» si el alfabeto de entrada es ‘a’, haga transiciones de ‘a’ del estado «B» a «X», y si los alfabetos de entrada en el estado «B» son ‘b’ o ‘c’ luego haga un bucle automático de ‘b’ y ‘c’ en el estado «B» mismo.

Paso 3:
En el estado «X», los alfabetos de entrada ‘b’ y ‘c’ son tránsitos al estado «X», pero la transición de ‘a’ va del estado «X» al estado «B».

Paso 4:
En el estado «C» si el alfabeto de entrada es ‘b’, haga transiciones de ‘b’ del estado «B» a «Y», y si los alfabetos de entrada en el estado «C» son ‘b’ o ‘c’ luego haga un bucle automático de ‘b’ y ‘c’ en el estado «C» mismo Y en el estado «Y» ingrese los alfabetos ‘a’ y ‘c’ son tránsitos al estado «Y» en sí mismo pero la transición de ‘b’ va del estado “Y” al estado “B”.

Paso 5:
En el estado «D» si el alfabeto de entrada es ‘c’, haga transiciones de ‘c’ del estado «D» a «Z», y si los alfabetos de entrada en el estado «D» son ‘b’ o ‘a’ luego haga un bucle automático de ‘b’ y ‘a’ en el estado «D» mismo. En el estado «Z», los alfabetos de entrada ‘a’ y ‘b’ son tránsitos al estado «Z», pero la transición de ‘c’ va del estado «Z» al estado «D».

Paso 6:
el estado «X» garantiza el número impar de ‘a’, el estado «Y» garantiza el número impar de ‘b’ y el estado «Z» garantiza el número impar de ‘c’. Así que marque estos estados aquí como estados finales.