Beruflich Dokumente
Kultur Dokumente
Lenguajes
Regulares
Araceli
Sanchis
de
Miguel
Agapito
Ledezma
Espino
Grado
Ingeniería
InformáDca
José
A.
Iglesias
Mar<nez
Teoría
de
Autómatas
y
Lenguajes
Formales
Beatriz
García
Jiménez
Juan
Manuel
Alonso
Weber
AUTÓMATAS
FINITOS
Y
G3
Veamos como obtener la gramáDca G={ΣT, ΣN, S, P} a parDr del AF= {Q, Σ, q0, f, F}.
3
Gramática
asociada
a
un
AF
Se
construye
la
gramáDca
G3LD
(G=
G={ΣT,
ΣN,
S,
P})
de
la
siguiente
6
AF
asociado
a
una
G3
(cuando
es
LD)
De
AF
→
G3:
Ejemplo
0 1
→A A C
B A C
C* C B
7
AF
asociado
a
una
G3
¿Y
si
queremos
obtener
un
AF
a
parDr
de
una
G3LI?
8
EXPRESIONES
REGULARES
Equivalencias
Teoremas
10
DeIinición
de
ER(I)
11
DeIinición
de
ER(I)
Ejemplo
La
ER
0*10*
es
una
palabra
del
metalenguaje
que
representa
las
infinitas
palabras
del
lenguaje
regular
formado
por
un
1,
precedido
y
seguido
de
0,
1
o
infinitos
0s.
se
cumple
que:
ü ∅
es
una
ER
ü λ
es
una
ER
ü cualquier
a
∈
Σ
es
una
ER
ü si
α
y
β
son
EERR
entonces
α+β
y
α•β
son
EERR
∞
α*= U αi
ü si
α
es
una
ER
entonces
α*
es
una
ER,
donde
i=0 13
DeIinición
de
ER(III)
Solo
son
EERR
las
que
se
obDenen
de
aplicar
las
14
Definición
Equivalencias
Teoremas
15
EERR
y
LR
Cada
Expresión
Regular
(ER)
describe
o
expresa
un
lenguaje
Equivalencias
Teoremas
17
Equivalencia
de
EERR
(I)
Dos
EERR
son
equivalentes,
α
=
β,
si
describen
el
mismo
lenguaje
regular,
si
L(α
)
=
L(β)
L
=
AL
+
B,
donde
λ
∉
A,
entonces
se
verifica
que
L
=
A*B
20
Definición
Equivalencias
Teoremas
21
Teoremas
de
análisis
y
síntesis
de
Kleene
Resolución:
23
Solución
al
problema
de
análisis.
Ecuaciones
características.
ECUACIONES
CARACTERÍSTICAS
Describen
todas
las
cadenas
que
se
pueden
reconocer
desde
un
estado
dado
p q
a
X0
X1
Ecuaciones
Caracterís/cas:
X0
=
a
X1
X1
=
b
X2
+
a
X1
+
b
X2
=
b
X2
+
b
+
λ
26
Algoritmo
de
resolución
problema
de
Análisis.
1. Escribir
las
ecuaciones
caracterísDcas
del
AF
27
Solución
de
las
ecuaciones
características.
Son
la
Ecuación
CaracterísDca
de
la
forma:
X
=
AX
+
B,
donde:
28
Solución
al
problema
de
análisis.
Ecuaciones
características.
Ejemplo
1:
Ecuaciones
Caracterís/cas:
X0
=
a
X1
X1
=
b
X2
+
a
X1
+
b
X2
=
b
X2
+
b
+
λ
29
Solución
al
problema
de
análisis.
Ecuaciones
características.
Ejemplo
1:
q
L=AL+B
p
r
X0
X1
L=A*B
X2
Ecuaciones
Caracterís/cas:
X0
=
a
X1
X1
=
b
X2
+
a
X1
+
b
X2
=
b
X2
+
b
+
λ
30
Solución
al
problema
de
análisis.
Ecuaciones
características.
Ejemplo
1:
q
L=AL+B
p
r
X0
X1
L=A*B
X2
Ecuaciones
Caracterís/cas:
X0
=
a
X1
X2
=
b*
(b
+
λ)
=
b*
+
b*
=
b*
X1
=
b
X2
+
a
X1
+
b
X2
=
b
X2
+
b
+
λ
31
Solución
al
problema
de
análisis.
Ecuaciones
características.
Ejemplo
1:
q
L=AL+B
p
r
X0
X1
L=A*B
X2
Ecuaciones
Caracterís/cas:
X0
=
a
X1
X2
=
b*
(b
+
λ)
=
b*
+
b*
=
b*
X1
=
b
X2
+
a
X1
+
b
X1
=
bb*
+
aX1
+
b
X2
=
b
X2
+
b
+
λ
X1
=
aX1
+
bb*
+
b
32
X1
=
a*(bb*+b)
=
a*bb*
Solución
al
problema
de
análisis.
Ecuaciones
características.
Ejemplo
1:
q
L=AL+B
p
r
X0
X1
L=A*B
X2
Ecuaciones
Caracterís/cas:
X0
=
a
X1
X1
=
b
X2
+
a
X1
+
b
X2
=
b
X2
+
b
+
λ
34
Solución
al
problema
de
análisis.
Ecuaciones
características.
Ejemplo
1:
q
L=AL+B
p
r
X0
X1
L=A*B
X2
Ecuaciones
Caracterís/cas:
X0
=
a
X1
X2
=
b*
(b
+
λ)
=
b*
+
b*
=
b*
X1
=
b
X2
+
a
X1
+
b
X2
=
b
X2
+
b
+
λ
35
Solución
al
problema
de
análisis.
Ecuaciones
características.
Ejemplo
1:
q
L=AL+B
p
r
X0
X1
L=A*B
X2
Ecuaciones
Caracterís/cas:
X0
=
a
X1
X2
=
b*
(b
+
λ)
=
b*
+
b*
=
b*
X1
=
b
X2
+
a
X1
+
b
X1
=
bb*
+
aX1
+
b
X2
=
b
X2
+
b
+
λ
X1
=
aX1
+
bb*
+
b
X1
=
a*(bb*+b)
=
a*bb*
36
Solución
al
problema
de
análisis.
Ecuaciones
características.
Ejemplo
1:
q
L=AL+B
p
r
X0
X1
L=A*B
X2
Ecuaciones
Caracterís/cas:
X0
=
a
X1
X2
=
b*
(b
+
λ)
=
b*
+
b*
=
b*
X1
=
b
X2
+
a
X1
+
b
X1
=
bb*
+
aX1
+
b
X2
=
b
X2
+
b
+
λ
X1
=
aX1
+
bb*
+
b
X1
=
a*(bb*+b)
=
a*bb*
37
X0
=
aa*bb*
Problema
de
Síntesis:
Algoritmo
Recursivo
(I)
Dada
una
ER
que
representa
a
un
lenguaje
regular,
38
Problema
de
Síntesis:
Algoritmo
Recursivo
(II)
Dada
una
ER
que
representa
a
un
lenguaje
regular,
β
ü si
α=β+σ,
con
los
autómatas
de
β
y
σ
p1
*q1
σ
p2
*q2
β
ü si
α=β
•
σ,
con
los
autómatas
de
β
y
σ
p1
*q1
σ
p2
*q2
el
resultado
es:
β
σ
p1
q1
λ
p2
*q2
40
Problema
de
Síntesis:
Algoritmo
Recursivo
(IV)
Dada
una
ER
que
representa
a
un
lenguaje
regular,
β
ü si
α=β*,
con
el
autómata
de
β
p1
*q1
λ
λ
p
p1
β
q1
*q
41
λ
Problema
de
Síntesis:
Algoritmo
Recursivo
(IV)
Ejemplo:
Sea
α=
b
•
a*
λ
λ
Entonces:
b
•
a*
b
p3
a
λ
λ
λ
p1
q1
p2
q2
*q3
42
λ
Problema
de
Síntesis:
Algoritmo
Recursivo
(IV)
Ejemplo:
λ λ
p1
b
q1
λ
p3
a
λ
λ
λ
p0
p2
q2
q3
λ
*q0
λ
λ
43
Problema
de
Síntesis:
Derivada
de
una
ER.
Dada
una
ER,
construir
un
AF
que
reconozca
el
lenguaje
que
la
ER
describe.
44
Problema
de
Síntesis:
Derivada
de
una
ER
ER
-‐>
AF
(Derivar
la
ER
-‐>
G3LD
-‐>
AF.
Da(R)
=
{
x
|
a•x
∈
R
}