Lenguajes Formales y Autómatas

Luis M. Estrada

luism@[Link]
fi-unam

Agenda

• Equivalencia entre GR y AF
• Equivalencia entre AF y ER

Semestre 2019-I
fi-unam

Luis M. Estrada[3ex]luism@[Link][3ex] — Lenguajes Formales y Autómatas@—Semestre 2019-I@

3/69
fi-unam

Equivalencias entre formalismos

para Lenguajes Regulares

Luis M. Estrada[3ex]luism@[Link][3ex] — Lenguajes Formales y Autómatas@—Semestre 2019-I@

4/69
fi-unam

Equivalencia con AF
Teorema: Si B es un lenguaje aceptado por una
autómata finito M, entonces existe una gramática
regular G tal que B = L(G).
Sea M = (Q, Σ, δ q0 , F ) un AFD. Podemos
construir una gramática G = (Q, Σ, R, q0 ) que
genere a B mediante el siguiente método:
• Por cada transición de un estado q a p leyendo
un sı́mbolo a agregamos al conjunto de reglas la
producción p → ap
• Para cada estado final q agregamos la
producción q → λ
Luis M. Estrada[3ex]luism@[Link][3ex] — Lenguajes Formales y Autómatas@—Semestre 2019-I@
5/69
fi-unam

Ejemplo AFD ⇒ GR

Construir una gramática que genere el mismo

lenguaje que el siguiente autómata.
a, b
a
a
q0 q1 q2
b
b

Luis M. Estrada[3ex]luism@[Link][3ex] — Lenguajes Formales y Autómatas@—Semestre 2019-I@

6/69
fi-unam

Ejemplo AFD ⇒ GR

a, b
a

a
q1 q2
q0 b
b

q0 → aq0

Luis M. Estrada[3ex]luism@[Link][3ex] — Lenguajes Formales y Autómatas@—Semestre 2019-I@

7/69
fi-unam

Ejemplo AFD ⇒ GR

a, b
a

a
q1 q2
q0 b
b

q0 → aq0

q0 → bq1

Luis M. Estrada[3ex]luism@[Link][3ex] — Lenguajes Formales y Autómatas@—Semestre 2019-I@

8/69
fi-unam

Ejemplo AFD ⇒ GR

a, b
a

a
q1 q2
q0 b
b

q0 → aq0
q0 → bq1

q1 → aq0

Luis M. Estrada[3ex]luism@[Link][3ex] — Lenguajes Formales y Autómatas@—Semestre 2019-I@

9/69
fi-unam

Ejemplo AFD ⇒ GR
a, b
a

a
q1 q2
q0 b
b

q0 → aq0
q0 → bq1
q1 → aq0
q1 → bq2
q2 → aq2

q2 → bq2
Luis M. Estrada[3ex]luism@[Link][3ex] — Lenguajes Formales y Autómatas@—Semestre 2019-I@
10/69
fi-unam

Ejemplo AFD ⇒ GR
a, b
a

a
q1 q2
q0 b
b

q0 → aq0
q0 → bq1
q1 → aq0
q1 → bq2
q2 → aq2
q2 → bq2

q2 → λ
Luis M. Estrada[3ex]luism@[Link][3ex] — Lenguajes Formales y Autómatas@—Semestre 2019-I@
11/69
fi-unam

Ejemplo AFD ⇒ GR
a, b
a

a
q1 q2
q0 b
b

Simplificando...

q0 → aq0 | bq1
q1 → aq0 | bq2
q2 → aq2 | bq2 | λ
Luis M. Estrada[3ex]luism@[Link][3ex] — Lenguajes Formales y Autómatas@—Semestre 2019-I@
12/69
fi-unam

Gramática Regular a Autómata

Finito
Dada una gramática regular G = (V , Σ, R, S) es
posible construir un AFND
A = (V ∪ {qf }, Σ, δ, S, qf ) tal que L(G ) = L(A) de
la siguiente forma:

• Para cada regla de la forma X ⇒ aY agregar

una transición de A a Y con etiqueta a
• Para cada regla de la forma X ⇒ a agregar una
transición de A a qf con etiqueta a .

Luis M. Estrada[3ex]luism@[Link][3ex] — Lenguajes Formales y Autómatas@—Semestre 2019-I@

13/69
fi-unam

Gramática Regular a Autómata

Finito

a
A → aA | bB
Solución: A
B → aA | bC | b
C → aC | bC | a | b

Luis M. Estrada[3ex]luism@[Link][3ex] — Lenguajes Formales y Autómatas@—Semestre 2019-I@

14/69
fi-unam

Gramática Regular a Autómata

Finito

Solución:
a

A → aA | bB A B
B → aA | bC | b b
C → aC | bC | a | b

Luis M. Estrada[3ex]luism@[Link][3ex] — Lenguajes Formales y Autómatas@—Semestre 2019-I@

15/69
fi-unam

Gramática Regular a Autómata

Finito

Solución:
a
a
A → aA | bB A B
B → aA | bC | b b
C → aC | bC | a | b

Luis M. Estrada[3ex]luism@[Link][3ex] — Lenguajes Formales y Autómatas@—Semestre 2019-I@

16/69
fi-unam

Gramática Regular a Autómata

Finito

Solución:
a
a
A → aA | bB A B C
b
B → aA | bC | b b
C → aC | bC | a | b

Luis M. Estrada[3ex]luism@[Link][3ex] — Lenguajes Formales y Autómatas@—Semestre 2019-I@

17/69
fi-unam

Gramática Regular a Autómata

Finito

Solución:
a
a
A B C
b
b
b
A → aA | bB qf
B → aA | bC | b
C → aC | bC | a | b

Luis M. Estrada[3ex]luism@[Link][3ex] — Lenguajes Formales y Autómatas@—Semestre 2019-I@

18/69
fi-unam

Gramática Regular a Autómata

Finito

Solución:
a a
a
A B C
b
b
b
A → aA | bB qf
B → aA | bC | b
C → aC | bC | a | b

Luis M. Estrada[3ex]luism@[Link][3ex] — Lenguajes Formales y Autómatas@—Semestre 2019-I@

19/69
fi-unam

Gramática Regular a Autómata

Finito

Solución:
a, b
a
a
A B C
b
b
b
A → aA | bB qf
B → aA | bC | b
C → aC | bC | a | b

Luis M. Estrada[3ex]luism@[Link][3ex] — Lenguajes Formales y Autómatas@—Semestre 2019-I@

20/69
fi-unam

Gramática Regular a Autómata

Finito

Solución:
a, b
a
a
A B C
b
b a
b
A → aA | bB qf
B → aA | bC | b
C → aC | bC | a | b

Luis M. Estrada[3ex]luism@[Link][3ex] — Lenguajes Formales y Autómatas@—Semestre 2019-I@

21/69
fi-unam

Gramática Regular a Autómata

Finito

Solución:
a, b
a
a
A B C
b
b a, b
b
A → aA | bB qf
B → aA | bC | b
C → aC | bC | a | b

Luis M. Estrada[3ex]luism@[Link][3ex] — Lenguajes Formales y Autómatas@—Semestre 2019-I@

22/69
fi-unam

Equivalencia de ER con Autómatas

Finitos

Teorema: Un lenguaje es regular ⇐⇒ sı́ existe un

AFD que lo reconozca.

Luis M. Estrada[3ex]luism@[Link][3ex] — Lenguajes Formales y Autómatas@—Semestre 2019-I@

23/69
fi-unam

Idea de la demostración

Demostración ⇒

Sea E una expresión regular para el lenguaje A a

partir de E construir un AFND que reconozca a A.
Demostrando ası́ que A es regular.

Luis M. Estrada[3ex]luism@[Link][3ex] — Lenguajes Formales y Autómatas@—Semestre 2019-I@

24/69
fi-unam

ER a AF (construcción bottom-up)
Procedemos por casos, si E es alguna de las expresiones regulares
básicas ∅, a, λ, los autómatas que acepta L(E ) son:
• a

• λ

• ∅

Luis M. Estrada[3ex]luism@[Link][3ex] — Lenguajes Formales y Autómatas@—Semestre 2019-I@

25/69
fi-unam

ER a AF (construcción bottom-up)

Sean R y S expresiones regulares y M1 y M2 autómatas finitos que

aceptan L(R) y L(S) respectivamente:

Luis M. Estrada[3ex]luism@[Link][3ex] — Lenguajes Formales y Autómatas@—Semestre 2019-I@

26/69
fi-unam

ER a AF (construcción bottom-up)

• Si E es de la forma R · S entonces el siguiente autómata

reconoce L(E )

Luis M. Estrada[3ex]luism@[Link][3ex] — Lenguajes Formales y Autómatas@—Semestre 2019-I@

27/69
fi-unam

ER a AF (construcción bottom-up)
• Si E es de la forma R + S entonces el siguiente autómata
reconoce L(E )

Luis M. Estrada[3ex]luism@[Link][3ex] — Lenguajes Formales y Autómatas@—Semestre 2019-I@

28/69
fi-unam

ER a AF (construcción
bottom-up)n
• Si E es de la forma R ∗ entonces el siguiente autómata
reconoce L(E )

Luis M. Estrada[3ex]luism@[Link][3ex] — Lenguajes Formales y Autómatas@—Semestre 2019-I@

29/69
fi-unam

Ejemplo

Construir un autómata que acepte la expresión regular (a + b)∗ b

Luis M. Estrada[3ex]luism@[Link][3ex] — Lenguajes Formales y Autómatas@—Semestre 2019-I@

30/69
fi-unam

Ejemplo

Construir un autómata que acepte la expresión regular (a + b)∗ b

a
λ

λ
b

Luis M. Estrada[3ex]luism@[Link][3ex] — Lenguajes Formales y Autómatas@—Semestre 2019-I@

31/69
fi-unam

Ejemplo
Construir un autómata que acepte la expresión regular (a + b)∗ b

λ
a
λ

λ
b

Luis M. Estrada[3ex]luism@[Link][3ex] — Lenguajes Formales y Autómatas@—Semestre 2019-I@

32/69
fi-unam

Ejemplo
Construir un autómata que acepte la expresión regular (a + b)∗ b

λ
a
λ
b
λ
b

Luis M. Estrada[3ex]luism@[Link][3ex] — Lenguajes Formales y Autómatas@—Semestre 2019-I@

33/69
fi-unam

Ejemplo
Construir un autómata que acepte la expresión regular (a + b)∗ b

λ
a
λ λ
λ b
λ λ
b

Luis M. Estrada[3ex]luism@[Link][3ex] — Lenguajes Formales y Autómatas@—Semestre 2019-I@

34/69
fi-unam

ER a AF (top-down)

Supongamos que se quiere construir un auómata finito para una

expresión regular R.
Procedemos de la siguiente manera:
Creamos el siguiente autómata extendido (Autómata que permite
ER como etiquetas en las transiciones).

R
i j

Luis M. Estrada[3ex]luism@[Link][3ex] — Lenguajes Formales y Autómatas@—Semestre 2019-I@

35/69
fi-unam

ER a AF (top-down
Dependiendo de la forma de R aplicamos iterativamente alguna de
las siguientes sustituciones hasta que todos los arcos del autómata
estén etiquetados por ER atómicas.
Reemplazar Por
R1 · R2 R1 R2
i j i j k

R1
R1 + R2
i j i R2 j

R
R∗ λ λ
i j i j k
Luis M. Estrada[3ex]luism@[Link][3ex] — Lenguajes Formales y Autómatas@—Semestre 2019-I@
36/69
fi-unam

Ejemplo de conversión ER a AF
(top-down)

Construir un autómata finito que acepte el lenguaje de la siguiente

expresión regular: (a + ba)∗ bb

(a + ba)∗ bb
0 1

Luis M. Estrada[3ex]luism@[Link][3ex] — Lenguajes Formales y Autómatas@—Semestre 2019-I@

37/69
fi-unam

Ejemplo de conversión ER a AF
(top-down)

Construir un autómata finito que acepte el lenguaje de la siguiente

expresión regular: (a + ba)∗ bb

(a + ba)∗ bb
0 2 1

Luis M. Estrada[3ex]luism@[Link][3ex] — Lenguajes Formales y Autómatas@—Semestre 2019-I@

38/69
fi-unam

Ejemplo de conversión ER a AF
(top-down)

Construir un autómata finito que acepte el lenguaje de la siguiente

expresión regular: (a + ba)∗ bb

a + ba

λ λ bb
0 3 2 1

Luis M. Estrada[3ex]luism@[Link][3ex] — Lenguajes Formales y Autómatas@—Semestre 2019-I@

39/69
fi-unam

Ejemplo de conversión ER a AF
(top-down)

Construir un autómata finito que acepte el lenguaje de la siguiente

expresión regular: (a + ba)∗ bb

λ λ bb
0 3 2 1

ba

Luis M. Estrada[3ex]luism@[Link][3ex] — Lenguajes Formales y Autómatas@—Semestre 2019-I@

40/69
fi-unam

Ejemplo de conversión ER a AF
(top-down)
Construir un autómata finito que acepte el lenguaje de la siguiente
expresión regular: (a + ba)∗ bb

λ λ bb
0 3 2 1
a b
4

Luis M. Estrada[3ex]luism@[Link][3ex] — Lenguajes Formales y Autómatas@—Semestre 2019-I@

41/69
fi-unam

Ejemplo de conversión ER a AF
(top-down)
Construir un autómata finito que acepte el lenguaje de la siguiente
expresión regular: (a + ba)∗ bb

λ λ b b
0 3 2 1 5
a b
4

Luis M. Estrada[3ex]luism@[Link][3ex] — Lenguajes Formales y Autómatas@—Semestre 2019-I@

42/69
fi-unam

Idea de la demostración

Demostración ⇐

Sea M un AFD que acepta el lenguaje L, a partir de M se puede

construir una ER E que describa el lenguaje L, demostrando ası́
que L es regular.

A continuación se da un método para convertir un AFD en una ER

que describe el lenguaje aceptado por el autómata.

Luis M. Estrada[3ex]luism@[Link][3ex] — Lenguajes Formales y Autómatas@—Semestre 2019-I@

43/69
fi-unam

Sistemas de ecuaciones con

expresiones regulares

Una ecuación lineal de expresiones regulares es una expresión de la

forma:

Y = α1 X1 + α2 X2 + ... + αn Xn + β donde αi y β y son

expresiones regulares y Y y Xi son variables que pueden tomar
expresiones regulares como valores

Luis M. Estrada[3ex]luism@[Link][3ex] — Lenguajes Formales y Autómatas@—Semestre 2019-I@

44/69
fi-unam

Lema de Arden

Lema de Arden: Sea X = αX + β una ecuación de expresiones

regulares, entonces X = α∗ β es una solución para la ecuación. Es
única si λ ∈
/α

Comprobación de que α∗ β es solución:

Sustituyendo X por α∗ β a ambos lados de la igualdad

α∗ β = α∗ αβ + β = (αα∗ + λ)β = α∗ β

Luis M. Estrada[3ex]luism@[Link][3ex] — Lenguajes Formales y Autómatas@—Semestre 2019-I@

45/69
fi-unam

Método de transformación de AFD

a ER
• Entrada: Autómata finito A = (Q, Σ, δ, q0 , F ) con
Q = {q0 , q1, ..., qn }
• Salida: Sistema de ecuaciones donde X1 es el lenguaje del
autómata
• Método:
1 Por cada estado qi introducir una variable Xi
2 Xi = αj Xj + αk Xk + ... + αw Xw + βi donde:
• La expresión αx Xx forma parte de la ecuación si y sólo si
existe una transición del estado qi al estado qx para el
sı́mbolo de entrada bx
• βi = λ si qi ∈ F de lo contrario βi = ∅

Para encontrar la ER caracterı́stica del autómata basta con

encontrar la solución a la ecucación correspondiente al estado
inicial.
Luis M. Estrada[3ex]luism@[Link][3ex] — Lenguajes Formales y Autómatas@—Semestre 2019-I@
46/69
fi-unam

Ejemplo

b
q0 a q1

q0 = bq1 + aq2 + λ
q1 = aq0
a b a
q2 = bq0
q3 = bq1 + aq1 + aq3 + bq3
q2 q3 a, b
b

Luis M. Estrada[3ex]luism@[Link][3ex] — Lenguajes Formales y Autómatas@—Semestre 2019-I@

47/69
fi-unam

Ejemplo

b
q0 a q1
Sistema de ecuaciones:

q0 = aq1 + bq2 + λ
a b a
q1 = q0 a
q2 = q0 b
q3 = q1 b + q1 a + q3 a + q3 b
q2 q3 a, b
b

Luis M. Estrada[3ex]luism@[Link][3ex] — Lenguajes Formales y Autómatas@—Semestre 2019-I@

48/69
fi-unam

Ejemplo

b
q0 a q1
Sistema de ecuaciones:

q0 = aq1 + bq2 + λ
a b a
q1 = aq3 + bq0 + ∅
q2 = bq0
q3 = bq1 + aq1 + aq3 + bq3
q2 q3 a, b
b

Luis M. Estrada[3ex]luism@[Link][3ex] — Lenguajes Formales y Autómatas@—Semestre 2019-I@

49/69
fi-unam

Ejemplo

b
q0 a q1
Sistema de ecuaciones:

q0 = aq1 + bq2 + λ
a b a
q1 = aq3 + bq0 + ∅
q2 = aq0 + bq3 + ∅
q3 = bq1 + aq1 + aq3 + bq3
q2 q3 a, b
b

Luis M. Estrada[3ex]luism@[Link][3ex] — Lenguajes Formales y Autómatas@—Semestre 2019-I@

50/69
fi-unam

Ejemplo

b
q0 a q1
Sistema de ecuaciones:

q0 = aq1 + bq2 + λ
a b a
q1 = aq3 + bq0 + ∅
q2 = aq0 + bq3 + ∅
q3 = aq3 + bq3 + ∅
q2 q3 a, b
b

Luis M. Estrada[3ex]luism@[Link][3ex] — Lenguajes Formales y Autómatas@—Semestre 2019-I@

51/69
fi-unam

Ejemplo

Solucionando el sistema de ecuaciones:

(1)... q0 = aq1 + bq2 + λ

(2)... q1 = aq3 + bq0 + ∅
(3)... q2 = aq0 + bq3 + ∅
(4)... q3 = aq3 + bq3 + ∅

Luis M. Estrada[3ex]luism@[Link][3ex] — Lenguajes Formales y Autómatas@—Semestre 2019-I@

52/69
fi-unam

Ejemplo

Solucionando el sistema de ecuaciones:

(1)... q0 = aq1 + bq2 + λ

(2)... q1 = aq3 + bq0 + ∅
(3)... q2 = aq0 + bq3 + ∅
(4)... q3 = aq3 + bq3 + ∅

q3 = aq3 + bq3 + ∅ = (a + b)q3 + ∅

Por Arden q3 = (a + b)∗ · ∅ = ∅

Luis M. Estrada[3ex]luism@[Link][3ex] — Lenguajes Formales y Autómatas@—Semestre 2019-I@

53/69
fi-unam

Ejemplo

Solucionando el sistema de ecuaciones:

Sustituyendo q3 = ∅ en (2) y (3) tenemos:

(1)... q0 = aq1 + bq2 + λ

(2)... q1 = a · ∅ + bq0 + ∅
(3)... q2 = aq0 + b · ∅ + ∅
(4)... q3 =∅

Luis M. Estrada[3ex]luism@[Link][3ex] — Lenguajes Formales y Autómatas@—Semestre 2019-I@

54/69
fi-unam

Ejemplo

Solucionando el sistema de ecuaciones:

Sustituyendo q3 = ∅ en (2) y (3) tenemos:

(1)... q0 = aq1 + bq2 + λ

(2)... q1 = a∅ + bq0 + ∅ = bq0 + ∅
(3)... q2 = aq0 + b∅ + ∅ = aq0 + ∅
(4)... q3 =∅

Luis M. Estrada[3ex]luism@[Link][3ex] — Lenguajes Formales y Autómatas@—Semestre 2019-I@

55/69
fi-unam

Ejemplo

Solucionando el sistema de ecuaciones:

Sustituyendo q1 y q2 en (1):

(1)...
q0 = aq1 + bq2 + λ = a(bq0 + ∅) + b(aq0 + ∅) + λ
(2)... q1 = a∅ + bq0 + ∅ = bq0 + ∅
(3)... q2 = aq0 + b∅ + ∅ = aq0 + ∅
(4)... q3 = ∅

Luis M. Estrada[3ex]luism@[Link][3ex] — Lenguajes Formales y Autómatas@—Semestre 2019-I@

56/69
fi-unam

Ejemplo

Solucionando el sistema de ecuaciones:

Sustituyendo q1 y q2 en (1):

(1)... q0 = abq0 + baq0 + ∅ + λ

(2)... q1 = a∅ + bq0 + ∅ = bq0 + ∅
(3)... q2 = aq0 + b∅ + ∅ = aq0 + ∅
(4)... q3 =∅

Luis M. Estrada[3ex]luism@[Link][3ex] — Lenguajes Formales y Autómatas@—Semestre 2019-I@

57/69
fi-unam

Ejemplo

Solucionando el sistema de ecuaciones:

Sustituyendo q1 y q2 en (1):

(1)... q0 = abq0 + baq0 + ∅ + λ

(2)... q1 = a∅ + bq0 + ∅ = bq0 + ∅
(3)... q2 = aq0 + b∅ + ∅ = aq0 + ∅
(4)... q3 =∅

Luis M. Estrada[3ex]luism@[Link][3ex] — Lenguajes Formales y Autómatas@—Semestre 2019-I@

58/69
fi-unam

Ejemplo

Solucionando el sistema de ecuaciones:

Factorizando q0 en (1):

(1)... q0 = (ab + ba)q0 + ∅ + λ

(2)... q1 = a∅ + bq0 + ∅ = bq0 + ∅
(3)... q2 = aq0 + b∅ + ∅ = aq0 + ∅
(4)... q3 =∅

Luis M. Estrada[3ex]luism@[Link][3ex] — Lenguajes Formales y Autómatas@—Semestre 2019-I@

59/69
fi-unam

Ejemplo

Solucionando el sistema de ecuaciones:

Aplicando Arden a (1):

(1)... q0 = (ab + ba)q0 + ∅ + λ = (ab + ba)∗ (∅ + λ)

(2)... q1 = a∅ + bq0 + ∅ = bq0 + ∅
(3)... q2 = aq0 + b∅ + ∅ = aq0 + ∅
(4)... q3 = ∅

Luis M. Estrada[3ex]luism@[Link][3ex] — Lenguajes Formales y Autómatas@—Semestre 2019-I@

60/69
fi-unam

Ejemplo

Solucionando el sistema de ecuaciones:

Simplificando (1):

(1)... q0 = (ab + ba)∗ (∅ + λ) = (ab + ba)∗

(2)... q1 = a∅ + bq0 + ∅ = bq0 + ∅
(3)... q2 = aq0 + b∅ + ∅ = aq0 + ∅
(4)... q3 =∅

Luis M. Estrada[3ex]luism@[Link][3ex] — Lenguajes Formales y Autómatas@—Semestre 2019-I@

61/69
fi-unam

Ejemplo

Solucionando el sistema de ecuaciones:

(1)... q0 = (ab + ba)∗ (∅ + λ) = (ab + ba)∗

(2)... q1 = a∅ + bq0 + ∅ = bq0 + ∅
(3)... q2 = aq0 + b∅ + ∅ = aq0 + ∅
(4)... q3 =∅

Por lo tanto la ER caracterı́stica del autómata es

(ab+ba)∗

Luis M. Estrada[3ex]luism@[Link][3ex] — Lenguajes Formales y Autómatas@—Semestre 2019-I@

62/69
fi-unam

Ejemplo 2

a b a, b Sistema de ecuaciones:

(1)... q0 = aq0 + bq1 + λ

q0 b q1 a q2 (2)... q1 = aq2 + bq1 + λ
(3)... q2 = aq2 + bq2 + ∅

Luis M. Estrada[3ex]luism@[Link][3ex] — Lenguajes Formales y Autómatas@—Semestre 2019-I@

63/69
fi-unam

Ejemplo 2

a b a, b Sistema de ecuaciones:

(1)... q0 = aq0 + bq1 + λ

q0 b q1 a q2 (2)... q1 = aq2 + bq1 + λ
(3)... q2 = aq2 + bq2 + ∅

De (3) por el lema de Arden

q2 = (a + b)q2 + ∅ = (a + b)∗ · ∅ = ∅

Luis M. Estrada[3ex]luism@[Link][3ex] — Lenguajes Formales y Autómatas@—Semestre 2019-I@

64/69
fi-unam

Ejemplo 2

a b a, b Sistema de ecuaciones:

(1)... q0 = aq0 + bq1 + λ

q0 b q1 a q2 (2)... q1 = aq2 + bq1 + λ
(3)... q2 = ∅

Sustituyendo q2 en (2):

q1 = aq2 + bq1 + λ = a · ∅ + bq1 + λ = bq1 + (∅ + λ)

Luis M. Estrada[3ex]luism@[Link][3ex] — Lenguajes Formales y Autómatas@—Semestre 2019-I@

65/69
fi-unam

Ejemplo 2

a b a, b Sistema de ecuaciones:

(1)... q0 = aq0 + bq1 + λ

q0 b q1 a q2 (2)... q1 = aq2 + bq1 + λ
(3)... q2 = ∅

Sustituyendo q2 en (2):

q1 = aq2 + bq1 + λ = a · ∅ + bq1 + λ = bq1 + (∅ + λ)

Por Arden q1 = b∗ (∅ + λ) = b∗

Luis M. Estrada[3ex]luism@[Link][3ex] — Lenguajes Formales y Autómatas@—Semestre 2019-I@

66/69
fi-unam

Ejemplo 2

a b a, b Sistema de ecuaciones:

(1)... q0 = aq0 + bq1 + λ

q0 b q1 a q2 (2)... q1 = b∗
(3)... q2 = ∅

Sustituyendo q1 en (1):

q0 = aq0 + bq1 + λ = aq0 + bb∗ + λ = aq0 + (bb∗ + λ)

Luis M. Estrada[3ex]luism@[Link][3ex] — Lenguajes Formales y Autómatas@—Semestre 2019-I@

67/69
fi-unam

Ejemplo 2

a b a, b Sistema de ecuaciones:

(1)... q0 = aq0 + bq1 + λ

q0 b q1 a q2 (2)... q1 = b∗
(3)... q2 = ∅

Sustituyendo q1 en (1):

q1 = aq0 + bq1 + λ = aq0 + bb∗ + λ = aq0 + (bb∗ + λ)

Por Arden q0 = a∗ (bb∗ + λ)

Luis M. Estrada[3ex]luism@[Link][3ex] — Lenguajes Formales y Autómatas@—Semestre 2019-I@

68/69
fi-unam

Conclusión

Las expresiones regulares describen exactamente los

mismos lenguajes que los Autómatas Finitos, es
decir tienen el mismo poder expresivo.

Luis M. Estrada[3ex]luism@[Link][3ex] — Lenguajes Formales y Autómatas@—Semestre 2019-I@

69/69