AUTÓMATA FINITO NO

DETERMINÍSTICO
NFA
Teoría de la computación
 DEFINICIÓN DE NFA

•  Es una quíntupla (Q, , )

• Q: Conjunto de estados finitos

• : Q × Σε→P(Q) : función de transición

• : estado inicial: pertenece a Q
• F: el conjunto de estados finales: F es un subconjunto de Q
 POR EJEMPLO

• Construya el autómata finito NO determinístico de todas las cadenas binarias que finalizan con
01.

0 1
S0 S1 S2
¿CÓMO SE EVALUA UNA CADENA BINARIA?

• W = 0011101

E/S 0 1
q0 {q0,q1}
q1 {q2}
q2
 EJERCICIOS

• Construya el NFA que determine si las cadenas binarias inician con 10

• Construya el NFA que determine si las cadenas binarias contienen la cadena 101
TRANSICIONES AUTOMÁTICAS

 
= {q1, q2,q3}

11 (V)
101 (V)
0100011001 (V)
W= 010110
 CONCATENACIÓN DE LENGUAJES
•  A = {11,10,101}
• B = {0, 10, 001, 000}

Si A y B es regular, entonces AB es regular

A = L(N1)
B = L(N2)
AB = L(N)
 UNIÓN DE LENGUAJES
• Si A y B son lenguajes regulares, entonces A U B es regular.
• A = L(N1) B = L(N2) AUB = L(N)
 A* (A ESTRELLA)
•  A = {1}
•
• Si A es regular, entonces A* es regular
• A = L(N1) A* = L(N)