Requisito previo: Introducción a los autómatas finitos , Diseño de autómatas finitos a partir de expresiones regulares (Conjunto 1)
∈-NFA es similar a NFA pero tiene una diferencia menor por movimiento épsilon. Este autómata reemplaza la función de transición por la que permite que la string vacía ∈ como posible entrada. Las transiciones que no consumen un símbolo de entrada se denominan transiciones ∈.
En los diagramas de estado, suelen estar etiquetados con la letra griega ∈. Las transiciones ∈ proporcionan una forma conveniente de modelar los sistemas cuyos estados actuales no se conocen con precisión: es decir, si estamos modelando un sistema y no está claro si el estado actual (después de procesar alguna string de entrada) debe ser q o q’ , entonces podemos agregar una transición ∈ entre estos dos estados, poniendo así al autómata en ambos estados simultáneamente.
Expresión regular común utilizada en make ∈-NFA:
Ejemplo: Cree un ∈-NFA para la expresión regular: (a/b)*a
Consulte para – Conversión de NFA a DFA , Minimización de DFA