Operaciones

Regulares
Operaciones Regulares

Teorema: La clase de lenguajes regulares es cerrada

bajo la operación de unión.
 Idea de la Prueba: Tenemos los lenguajes regulares A1
y A2 y queremos probar que A1  A2 es regular. La
idea es tomar dos AFN, N1 y N2 para A1 y A2, y
combinarlas en un nuevo AFN N que reconozca A1 
A2.
 Unión
N1 = (Q1,Σ, δ1, q1, F1) reconoce A1
N2 = (Q2,Σ, δ2, q2, F2) reconoce A2

1. Q = {q0} ∪ Q1 ∪ Q2
2. El estado q0 es el estado
de inicio de N.
3. El conjunto de estados de
aceptación F = F1 ∪ F2.

N = (Q,Σ, δ, q0, F) para reconocer A1∪A2

Operaciones Regulares

Teorema: La clase de lenguajes regulares es cerrada

bajo la operación de concatenación.
 Idea de la Prueba: Tenemos los lenguajes regulares A1
y A2 y queremos demostrar que A1. A2 es regular.
 La idea es tomar dos AFN, N1 y N2 para A1 y A2, y
combinarlas en un nuevo AFN N que reconozca
A1.A2, a partir de N1y N2
 Concatenación
N1 = (Q1,Σ, δ1, q1, F1) reconoce A1
N2 = (Q2,Σ, δ2, q2, F2) reconoce A2

N = (Q,Σ, δ, q1, F2) para reconocer A1 ◦ A2

1. Q = Q1 ∪ Q2
2. El estado q1 es el mismo
que el estado de inicio de
N1
3. Los estados de
aceptación F2 son los
mismos que los estados de
aceptación de N2.
 Operaciones Regulares

Teorema: La clase de lenguajes regulares es cerrada

bajo la operación estrella.
 Idea de la Prueba: Tenemos un lenguaje regular A1 y
queremos probar que A1* también es regular.
 Si A1 es un lenguaje regular, entonces existe un AFN
N1 que la reconozca. Tomamos un AFN N1 para A1 y
lo modificamos para que reconozca A1*
 Estrella
N1 = (Q1,Σ, δ1, q1, F1) reconoce A1

N = (Q,Σ, δ, q0, F) para reconocer A1*

1. Q = {q0} ∪ Q1
2. El estado q0 es el nuevo
estado de inicio.
3. F = {q0} ∪ F1.
Bibliografía

 [1] M. Sipser, Introduction to the Theory of Computation

Third Edition, Cengage Learning, 2013