∈-NFA de Lenguaje Regular L = (0+1)*(00 + 11) y L = b + ba*

Los autómatas finitos no deterministas y los autómatas finitos no deterministas ∈ son casi lo mismo excepto por su función de transición y existen algunas reglas especiales para la construcción de ∈-NFA.

∈-NFA is defined in 5 tuple representation {Q, q0, Σ, δ, F} 
where -
Q is the set of all states,
q0 is the initial state,
Σ is the set of input symbols,
δ is the transition function which is δ:Q × (Σ∪∈)->2Q and
F is the set of final states.

Reglas simples para la construcción de ∈-NFA :
∈-NFA para a+ :

Esta estructura es para a+, lo que significa que debe haber al menos una ‘a’ en la expresión. Está precedido por epsilon y también sucedido por uno. Hay una retroalimentación épsilon del estado q2 al q1, por lo que puede haber más de una ‘a’ en la expresión.

∈-NFA para a* :

Esta estructura es para a*, lo que significa que puede haber cualquier número de ‘a’ en la expresión, incluso 0. La estructura anterior se modifica un poco para que incluso si no hay ningún símbolo de entrada, es decir, si el símbolo de entrada es nulo, entonces también la expresión es válida.

∈-NFA para a+b :

Esta estructura acepta a o b como entrada. Así que hay dos caminos, los cuales conducen al estado final.
∈-NFA para ab :

Para la concatenación, a debe ir seguida de b. Sólo entonces puede llegar al estado final. Ambas estructuras están permitidas aquí, pero como es ∈-NFA, se recomienda la segunda estructura.

∈-NFA de Lenguaje Regular L = (0+1)*(00 + 11) :
Siguiendo las reglas mencionadas anteriormente, se construirá ∈-NFA de Lenguaje Regular L = (0+1)*(00 + 11) .
L = (0+1)*(00 + 11) se puede dividir en dos partes: (0+1)* y (00 + 11). Como están concatenados, las dos partes estarán conectadas linealmente entre sí.

• La primera parte se puede dibujar usando la tercera regla y la segunda regla. (0+1) es fácil de dibujar siguiendo la tercera regla y considerando (0+1) como una unidad, (0+1)* también se puede dibujar aplicando la segunda regla.

  Aquí está la primera parte de la siguiente manera.
  

• La segunda parte se puede dibujar con la ayuda de la cuarta regla. En la cuarta regla, tanto a como b son 0. Así es como construimos 00. De manera similar, podemos construir 11. Ahora, dado que están conectados por el signo ‘+’, habrá dos caminos que conecten ambas estructuras.

  Aquí está la segunda parte de la siguiente manera.
  

El ∈-NFA final será:
Conectar las dos estructuras linealmente nos da nuestro ∈-NFA final.

∈-NFA de Lenguaje Regular L = b + ba* :
Siguiendo las reglas antes mencionadas, se construirá ∈-NFA de Lenguaje Regular L =b + ba*.
L =b + ba* tiene dos términos. El primer término es bastante fácil de construir. Dado que ambos términos están conectados por el signo ‘+’, habrá dos caminos saliendo del primer Node. El segundo término se dibujará siguiendo la segunda regla de construcción, a* que simplemente va precedida de b.

El ∈-NFA final será: