09 AFN, AFD y Construcción de Thompson · ninguna ambigüedad en las transiciones de estados para...
Transcript of 09 AFN, AFD y Construcción de Thompson · ninguna ambigüedad en las transiciones de estados para...
![Page 1: 09 AFN, AFD y Construcción de Thompson · ninguna ambigüedad en las transiciones de estados para una entrada dada. 4 Teoría computacional Clase 08: AFN, AFD y Construcción de](https://reader030.fdocuments.co/reader030/viewer/2022040407/5eaa7f6cff63327b3759027d/html5/thumbnails/1.jpg)
Clase 09: AFN, AFD y Construcción de Thompson
Solicitado: Ejercicios 07: Construcción de AFN scon Thompson
1M. en C. Edgardo Adrián Franco Martínez
http://computacion.cs.cinvestav.mx/~efranco
@efranco_escom
![Page 2: 09 AFN, AFD y Construcción de Thompson · ninguna ambigüedad en las transiciones de estados para una entrada dada. 4 Teoría computacional Clase 08: AFN, AFD y Construcción de](https://reader030.fdocuments.co/reader030/viewer/2022040407/5eaa7f6cff63327b3759027d/html5/thumbnails/2.jpg)
Contenido• Autómata finito
• Clasificación de los autómatas finitos
• Autómata finito no determinista (AFN)
• Autómata finito determinista (AFD)
• Teorema sobre la transformación de AFN en AFD
• Transformación de una expresión regular en un autómata
finito
• Construcción de Thompson de un AFN a partir de una
expresión regular
• Nomenclatura de Thompson
• Ejemplos
• Ejercicios 07: Construcción de AFN´s con Thompson 2
Teo
ría
co
mp
uta
cio
na
l
Cla
se 0
8:
AF
N,
AF
D y
Co
nst
rucc
ión
de
Th
om
pso
n
Pro
f. E
dga
rdo
Ad
riá
n F
ran
co M
art
íne
z
![Page 3: 09 AFN, AFD y Construcción de Thompson · ninguna ambigüedad en las transiciones de estados para una entrada dada. 4 Teoría computacional Clase 08: AFN, AFD y Construcción de](https://reader030.fdocuments.co/reader030/viewer/2022040407/5eaa7f6cff63327b3759027d/html5/thumbnails/3.jpg)
Autómata finito• Un autómata finito es un modelo matemático de
una máquina que acepta cadenas de un lenguaje
definido sobre un alfabeto.
• Consiste en un conjunto finito de estados y un
conjunto de transiciones entre esos estados, que
dependen de los símbolos de la cadena de entrada.
• El autómata finito acepta una cadena x si la
secuencia de transiciones correspondientes a los
símbolos de x conduce desde el estado inicial a un
estado final.
3
Teo
ría
co
mp
uta
cio
na
l
Cla
se 0
8:
AF
N,
AF
D y
Co
nst
rucc
ión
de
Th
om
pso
n
Pro
f. E
dga
rdo
Ad
riá
n F
ran
co M
art
íne
z
![Page 4: 09 AFN, AFD y Construcción de Thompson · ninguna ambigüedad en las transiciones de estados para una entrada dada. 4 Teoría computacional Clase 08: AFN, AFD y Construcción de](https://reader030.fdocuments.co/reader030/viewer/2022040407/5eaa7f6cff63327b3759027d/html5/thumbnails/4.jpg)
Clasificación de los autómatas finitos • La función f: E*x Q→Q, es en general no determinista. Así en
función de f, se hablará de autómatas finitos deterministas
AFD y autómatas finitos no deterministas AFN.
• Un autómata finito no determinista AFN se caracteriza por la
posibilidad de que dada una entrada e en un estado qi, se pueda
pasar a un estado qj, qk,...,qn sin saber a ciencia cierta, a cual de esos
estados pasará. Existiendo la misma probabilidad de que pase a
cualquiera de dichos estados.
• Un autómata finito determinista AFD es un caso particular de los
autómatas finitos, en el que la función de transición no presenta
ninguna ambigüedad en las transiciones de estados para una
entrada dada.4
Teo
ría
co
mp
uta
cio
na
l
Cla
se 0
8:
AF
N,
AF
D y
Co
nst
rucc
ión
de
Th
om
pso
n
Pro
f. E
dga
rdo
Ad
riá
n F
ran
co M
art
íne
z
![Page 5: 09 AFN, AFD y Construcción de Thompson · ninguna ambigüedad en las transiciones de estados para una entrada dada. 4 Teoría computacional Clase 08: AFN, AFD y Construcción de](https://reader030.fdocuments.co/reader030/viewer/2022040407/5eaa7f6cff63327b3759027d/html5/thumbnails/5.jpg)
Autómatas finitos no deterministas (AFN)
• La definición de autómata finito no determinista
AFN o AFN coincide con la de autómata finito:
AFN=(E, Q, f, q1, F)
• Con la salvedad de que f: E*x Q→Q es no determinista,
i.e. es aquel que presenta cero, una o más transiciones
por el mismo carácter del alfabeto.
5
Teo
ría
co
mp
uta
cio
na
l
Cla
se 0
8:
AF
N,
AF
D y
Co
nst
rucc
ión
de
Th
om
pso
n
Pro
f. E
dga
rdo
Ad
riá
n F
ran
co M
art
íne
z
![Page 6: 09 AFN, AFD y Construcción de Thompson · ninguna ambigüedad en las transiciones de estados para una entrada dada. 4 Teoría computacional Clase 08: AFN, AFD y Construcción de](https://reader030.fdocuments.co/reader030/viewer/2022040407/5eaa7f6cff63327b3759027d/html5/thumbnails/6.jpg)
AFN Ejemplo• Resolver:
6
Teo
ría
co
mp
uta
cio
na
l
Cla
se 0
8:
AF
N,
AF
D y
Co
nst
rucc
ión
de
Th
om
pso
n
Pro
f. E
dga
rdo
Ad
riá
n F
ran
co M
art
íne
z
![Page 7: 09 AFN, AFD y Construcción de Thompson · ninguna ambigüedad en las transiciones de estados para una entrada dada. 4 Teoría computacional Clase 08: AFN, AFD y Construcción de](https://reader030.fdocuments.co/reader030/viewer/2022040407/5eaa7f6cff63327b3759027d/html5/thumbnails/7.jpg)
• Solución:
7
Teo
ría
co
mp
uta
cio
na
l
Cla
se 0
8:
AF
N,
AF
D y
Co
nst
rucc
ión
de
Th
om
pso
n
Pro
f. E
dga
rdo
Ad
riá
n F
ran
co M
art
íne
z
![Page 8: 09 AFN, AFD y Construcción de Thompson · ninguna ambigüedad en las transiciones de estados para una entrada dada. 4 Teoría computacional Clase 08: AFN, AFD y Construcción de](https://reader030.fdocuments.co/reader030/viewer/2022040407/5eaa7f6cff63327b3759027d/html5/thumbnails/8.jpg)
Autómatas finitos deterministas (AFD)• Un autómata finito determinista AFD es un caso
particular de los autómatas finitos, en el que la
función de transición no presenta ninguna
ambigüedad en las transiciones de estados para una
entrada dada.
• Un autómata finito determinista es una quíntupla
AFD=(E, Q, f, q1, F) donde la función f: E*x Q→Q es
determinista.
8
Teo
ría
co
mp
uta
cio
na
l
Cla
se 0
8:
AF
N,
AF
D y
Co
nst
rucc
ión
de
Th
om
pso
n
Pro
f. E
dga
rdo
Ad
riá
n F
ran
co M
art
íne
z
![Page 9: 09 AFN, AFD y Construcción de Thompson · ninguna ambigüedad en las transiciones de estados para una entrada dada. 4 Teoría computacional Clase 08: AFN, AFD y Construcción de](https://reader030.fdocuments.co/reader030/viewer/2022040407/5eaa7f6cff63327b3759027d/html5/thumbnails/9.jpg)
Teorema sobre la transformación de AFN en AFD
• "Para todo autómata finito no determinista AFN=(E,
Q, f, q1,F) se puede construir un autómata finito
determinista AFD=(E, Q’, f’, q’1, F’) tal que el
lenguaje reconocido por el autómata finito
determinista AFD coincida con el lenguaje
reconocido por el autómata finito no determinista
AFN, es decir L(AFD) = L(AFN)".
9
Teo
ría
co
mp
uta
cio
na
l
Cla
se 0
8:
AF
N,
AF
D y
Co
nst
rucc
ión
de
Th
om
pso
n
Pro
f. E
dga
rdo
Ad
riá
n F
ran
co M
art
íne
z
![Page 10: 09 AFN, AFD y Construcción de Thompson · ninguna ambigüedad en las transiciones de estados para una entrada dada. 4 Teoría computacional Clase 08: AFN, AFD y Construcción de](https://reader030.fdocuments.co/reader030/viewer/2022040407/5eaa7f6cff63327b3759027d/html5/thumbnails/10.jpg)
Transformación de AFN en AFD
Expresión: ab|ac*
AFN
ab
a
2
1
c
3
4
INICIO
10
Teo
ría
co
mp
uta
cio
na
l
Cla
se 0
8:
AF
N,
AF
D y
Co
nst
rucc
ión
de
Th
om
pso
n
Pro
f. E
dga
rdo
Ad
riá
n F
ran
co M
art
íne
z
![Page 11: 09 AFN, AFD y Construcción de Thompson · ninguna ambigüedad en las transiciones de estados para una entrada dada. 4 Teoría computacional Clase 08: AFN, AFD y Construcción de](https://reader030.fdocuments.co/reader030/viewer/2022040407/5eaa7f6cff63327b3759027d/html5/thumbnails/11.jpg)
AFD
Expresión: ab|ac*
ba
1
c
3
4
2,4
c
INICIO
11
Teo
ría
co
mp
uta
cio
na
l
Cla
se 0
8:
AF
N,
AF
D y
Co
nst
rucc
ión
de
Th
om
pso
n
Pro
f. E
dga
rdo
Ad
riá
n F
ran
co M
art
íne
z
![Page 12: 09 AFN, AFD y Construcción de Thompson · ninguna ambigüedad en las transiciones de estados para una entrada dada. 4 Teoría computacional Clase 08: AFN, AFD y Construcción de](https://reader030.fdocuments.co/reader030/viewer/2022040407/5eaa7f6cff63327b3759027d/html5/thumbnails/12.jpg)
Transformación de una expresión regular en un autómata
finito
• Dada una expresión regular existe un autómata
finito capaz de reconocer el lenguaje que ésta define.
• Recíprocamente, dado un autómata finito, se puede
expresar mediante una expresión regular del
lenguaje que reconoce.
12
Teo
ría
co
mp
uta
cio
na
l
Cla
se 0
8:
AF
N,
AF
D y
Co
nst
rucc
ión
de
Th
om
pso
n
Pro
f. E
dga
rdo
Ad
riá
n F
ran
co M
art
íne
z
((a+b)(a(bba* + aa) + ba))(b*)
![Page 13: 09 AFN, AFD y Construcción de Thompson · ninguna ambigüedad en las transiciones de estados para una entrada dada. 4 Teoría computacional Clase 08: AFN, AFD y Construcción de](https://reader030.fdocuments.co/reader030/viewer/2022040407/5eaa7f6cff63327b3759027d/html5/thumbnails/13.jpg)
Transformación de una expresión regular en un autómata
finito
13
Teo
ría
co
mp
uta
cio
na
l
Cla
se 0
8:
AF
N,
AF
D y
Co
nst
rucc
ión
de
Th
om
pso
n
Pro
f. E
dga
rdo
Ad
riá
n F
ran
co M
art
íne
z
![Page 14: 09 AFN, AFD y Construcción de Thompson · ninguna ambigüedad en las transiciones de estados para una entrada dada. 4 Teoría computacional Clase 08: AFN, AFD y Construcción de](https://reader030.fdocuments.co/reader030/viewer/2022040407/5eaa7f6cff63327b3759027d/html5/thumbnails/14.jpg)
14
Teo
ría
co
mp
uta
cio
na
l
Cla
se 0
8:
AF
N,
AF
D y
Co
nst
rucc
ión
de
Th
om
pso
n
Pro
f. E
dga
rdo
Ad
riá
n F
ran
co M
art
íne
z
![Page 15: 09 AFN, AFD y Construcción de Thompson · ninguna ambigüedad en las transiciones de estados para una entrada dada. 4 Teoría computacional Clase 08: AFN, AFD y Construcción de](https://reader030.fdocuments.co/reader030/viewer/2022040407/5eaa7f6cff63327b3759027d/html5/thumbnails/15.jpg)
15
Teo
ría
co
mp
uta
cio
na
l
Cla
se 0
8:
AF
N,
AF
D y
Co
nst
rucc
ión
de
Th
om
pso
n
Pro
f. E
dga
rdo
Ad
riá
n F
ran
co M
art
íne
z
![Page 16: 09 AFN, AFD y Construcción de Thompson · ninguna ambigüedad en las transiciones de estados para una entrada dada. 4 Teoría computacional Clase 08: AFN, AFD y Construcción de](https://reader030.fdocuments.co/reader030/viewer/2022040407/5eaa7f6cff63327b3759027d/html5/thumbnails/16.jpg)
Construcción de Thompson de un AFN a partir de
una expresión regular
• La construcción de Thompson construye un AFN a
partir de cualquier expresión regular.
• La construcción de Thompson construye a partir de
una expresión regular r un AFN que reconoce el
lenguaje definido por r, esto se realiza con el
objetivo de que en un algoritmo siguiente se pueda
generar un AFD mínimo equivalente.
• Utiliza una notación estándar para generar el AFN16
Teo
ría
co
mp
uta
cio
na
l
Cla
se 0
8:
AF
N,
AF
D y
Co
nst
rucc
ión
de
Th
om
pso
n
Pro
f. E
dga
rdo
Ad
riá
n F
ran
co M
art
íne
z
![Page 17: 09 AFN, AFD y Construcción de Thompson · ninguna ambigüedad en las transiciones de estados para una entrada dada. 4 Teoría computacional Clase 08: AFN, AFD y Construcción de](https://reader030.fdocuments.co/reader030/viewer/2022040407/5eaa7f6cff63327b3759027d/html5/thumbnails/17.jpg)
• Para la representación de una cadena vacía se utiliza
el símbolo ε o λ
Nomenclatura de Thompson
Cadena Vacía
17
Teo
ría
co
mp
uta
cio
na
l
Cla
se 0
8:
AF
N,
AF
D y
Co
nst
rucc
ión
de
Th
om
pso
n
Pro
f. E
dga
rdo
Ad
riá
n F
ran
co M
art
íne
z
![Page 18: 09 AFN, AFD y Construcción de Thompson · ninguna ambigüedad en las transiciones de estados para una entrada dada. 4 Teoría computacional Clase 08: AFN, AFD y Construcción de](https://reader030.fdocuments.co/reader030/viewer/2022040407/5eaa7f6cff63327b3759027d/html5/thumbnails/18.jpg)
• Para representar un símbolo, se utilizan dos
estados y una transición para el movimiento con el
símbolo.
r
18
Teo
ría
co
mp
uta
cio
na
l
Cla
se 0
8:
AF
N,
AF
D y
Co
nst
rucc
ión
de
Th
om
pso
n
Pro
f. E
dga
rdo
Ad
riá
n F
ran
co M
art
íne
z
![Page 19: 09 AFN, AFD y Construcción de Thompson · ninguna ambigüedad en las transiciones de estados para una entrada dada. 4 Teoría computacional Clase 08: AFN, AFD y Construcción de](https://reader030.fdocuments.co/reader030/viewer/2022040407/5eaa7f6cff63327b3759027d/html5/thumbnails/19.jpg)
• Para la concatenación de dos símbolos únicamente
se unen
rs
Concatenación de símbolo
19
Teo
ría
co
mp
uta
cio
na
l
Cla
se 0
8:
AF
N,
AF
D y
Co
nst
rucc
ión
de
Th
om
pso
n
Pro
f. E
dga
rdo
Ad
riá
n F
ran
co M
art
íne
z
![Page 20: 09 AFN, AFD y Construcción de Thompson · ninguna ambigüedad en las transiciones de estados para una entrada dada. 4 Teoría computacional Clase 08: AFN, AFD y Construcción de](https://reader030.fdocuments.co/reader030/viewer/2022040407/5eaa7f6cff63327b3759027d/html5/thumbnails/20.jpg)
• Para la elección de alternativas, crear transiciones
ε para la unión de las transiciones.
r | s
Elección de alternativas
20
Teo
ría
co
mp
uta
cio
na
l
Cla
se 0
8:
AF
N,
AF
D y
Co
nst
rucc
ión
de
Th
om
pso
n
Pro
f. E
dga
rdo
Ad
riá
n F
ran
co M
art
íne
z
![Page 21: 09 AFN, AFD y Construcción de Thompson · ninguna ambigüedad en las transiciones de estados para una entrada dada. 4 Teoría computacional Clase 08: AFN, AFD y Construcción de](https://reader030.fdocuments.co/reader030/viewer/2022040407/5eaa7f6cff63327b3759027d/html5/thumbnails/21.jpg)
• Para la cerradura positiva, se agregan transiciones ε
para retornar al estado previo, permitiendo agregar
1 o mas veces el símbolo
r +
Cerradura positiva
21
Teo
ría
co
mp
uta
cio
na
l
Cla
se 0
8:
AF
N,
AF
D y
Co
nst
rucc
ión
de
Th
om
pso
n
Pro
f. E
dga
rdo
Ad
riá
n F
ran
co M
art
íne
z
![Page 22: 09 AFN, AFD y Construcción de Thompson · ninguna ambigüedad en las transiciones de estados para una entrada dada. 4 Teoría computacional Clase 08: AFN, AFD y Construcción de](https://reader030.fdocuments.co/reader030/viewer/2022040407/5eaa7f6cff63327b3759027d/html5/thumbnails/22.jpg)
• Para la cerradura de Kleene, se agregan
transiciones ε para retornar a estado previo. Y otra
transición ε para saltar la transición con r.
r *
Cerradura de Kleene
22
Teo
ría
co
mp
uta
cio
na
l
Cla
se 0
8:
AF
N,
AF
D y
Co
nst
rucc
ión
de
Th
om
pso
n
Pro
f. E
dga
rdo
Ad
riá
n F
ran
co M
art
íne
z
![Page 23: 09 AFN, AFD y Construcción de Thompson · ninguna ambigüedad en las transiciones de estados para una entrada dada. 4 Teoría computacional Clase 08: AFN, AFD y Construcción de](https://reader030.fdocuments.co/reader030/viewer/2022040407/5eaa7f6cff63327b3759027d/html5/thumbnails/23.jpg)
� Diagrama del AFN que representa la ER a*b.
1. Parte de la cerradura de Kleene.
Ejemplo 01 Método de Thompson
a*b
23
Teo
ría
co
mp
uta
cio
na
l
Cla
se 0
8:
AF
N,
AF
D y
Co
nst
rucc
ión
de
Th
om
pso
n
Pro
f. E
dga
rdo
Ad
riá
n F
ran
co M
art
íne
z
![Page 24: 09 AFN, AFD y Construcción de Thompson · ninguna ambigüedad en las transiciones de estados para una entrada dada. 4 Teoría computacional Clase 08: AFN, AFD y Construcción de](https://reader030.fdocuments.co/reader030/viewer/2022040407/5eaa7f6cff63327b3759027d/html5/thumbnails/24.jpg)
2. Para continuar se generan la concatenación del
símbolo b
a*b
24
Teo
ría
co
mp
uta
cio
na
l
Cla
se 0
8:
AF
N,
AF
D y
Co
nst
rucc
ión
de
Th
om
pso
n
Pro
f. E
dga
rdo
Ad
riá
n F
ran
co M
art
íne
z
![Page 25: 09 AFN, AFD y Construcción de Thompson · ninguna ambigüedad en las transiciones de estados para una entrada dada. 4 Teoría computacional Clase 08: AFN, AFD y Construcción de](https://reader030.fdocuments.co/reader030/viewer/2022040407/5eaa7f6cff63327b3759027d/html5/thumbnails/25.jpg)
3. Para finalizar se numeran los estados y se indica el
estado inicial y final
a*b
q0
q1 q2
q3
25
Teo
ría
co
mp
uta
cio
na
l
Cla
se 0
8:
AF
N,
AF
D y
Co
nst
rucc
ión
de
Th
om
pso
n
Pro
f. E
dga
rdo
Ad
riá
n F
ran
co M
art
íne
z
q4
![Page 26: 09 AFN, AFD y Construcción de Thompson · ninguna ambigüedad en las transiciones de estados para una entrada dada. 4 Teoría computacional Clase 08: AFN, AFD y Construcción de](https://reader030.fdocuments.co/reader030/viewer/2022040407/5eaa7f6cff63327b3759027d/html5/thumbnails/26.jpg)
4. Formalizando
• AFN=(E,Q,f,q0,F)
• E={a,b}
• Q={q0,q1,q2,q3,q4}
• F={q4}
• f: E*x Q→Q
L(a*b)=L(AFN)
26
Teo
ría
co
mp
uta
cio
na
l
Cla
se 0
8:
AF
N,
AF
D y
Co
nst
rucc
ión
de
Th
om
pso
n
Pro
f. E
dga
rdo
Ad
riá
n F
ran
co M
art
íne
z
f a b ε
q0 - - {q1, q3}
q1 q2 - -
q2 - - {q1, q3}
q3 - q4 -
q4 - - -
![Page 27: 09 AFN, AFD y Construcción de Thompson · ninguna ambigüedad en las transiciones de estados para una entrada dada. 4 Teoría computacional Clase 08: AFN, AFD y Construcción de](https://reader030.fdocuments.co/reader030/viewer/2022040407/5eaa7f6cff63327b3759027d/html5/thumbnails/27.jpg)
A partir de la ER (b|(b*a)*)a
1. Parte de la cerradura de Kleene que se encuentra
dentro de paréntesis.
Ejemplo 02 Método de Thompson
(b|(b*a)*)a
27
Teo
ría
co
mp
uta
cio
na
l
Cla
se 0
8:
AF
N,
AF
D y
Co
nst
rucc
ión
de
Th
om
pso
n
Pro
f. E
dga
rdo
Ad
riá
n F
ran
co M
art
íne
z
![Page 28: 09 AFN, AFD y Construcción de Thompson · ninguna ambigüedad en las transiciones de estados para una entrada dada. 4 Teoría computacional Clase 08: AFN, AFD y Construcción de](https://reader030.fdocuments.co/reader030/viewer/2022040407/5eaa7f6cff63327b3759027d/html5/thumbnails/28.jpg)
A partir de la ER (b|(b*a)*)a
2. Completamos dicho paréntesis concatenando el
símbolo a
(b|(b*a)*)a
28
Teo
ría
co
mp
uta
cio
na
l
Cla
se 0
8:
AF
N,
AF
D y
Co
nst
rucc
ión
de
Th
om
pso
n
Pro
f. E
dga
rdo
Ad
riá
n F
ran
co M
art
íne
z
![Page 29: 09 AFN, AFD y Construcción de Thompson · ninguna ambigüedad en las transiciones de estados para una entrada dada. 4 Teoría computacional Clase 08: AFN, AFD y Construcción de](https://reader030.fdocuments.co/reader030/viewer/2022040407/5eaa7f6cff63327b3759027d/html5/thumbnails/29.jpg)
A partir de la ER (b|(b*a)*)a
3. Aplicar la Cerradura de Kleene al paréntesis
(b|(b*a)*)aε
ε
29
Teo
ría
co
mp
uta
cio
na
l
Cla
se 0
8:
AF
N,
AF
D y
Co
nst
rucc
ión
de
Th
om
pso
n
Pro
f. E
dga
rdo
Ad
riá
n F
ran
co M
art
íne
z
![Page 30: 09 AFN, AFD y Construcción de Thompson · ninguna ambigüedad en las transiciones de estados para una entrada dada. 4 Teoría computacional Clase 08: AFN, AFD y Construcción de](https://reader030.fdocuments.co/reader030/viewer/2022040407/5eaa7f6cff63327b3759027d/html5/thumbnails/30.jpg)
A partir de la ER (b|(b*a)*)a
4. La elección de alternativas del b y el diagrama
anterior.
(b|(b*a)*)a ε
ε
30
Teo
ría
co
mp
uta
cio
na
l
Cla
se 0
8:
AF
N,
AF
D y
Co
nst
rucc
ión
de
Th
om
pso
n
Pro
f. E
dga
rdo
Ad
riá
n F
ran
co M
art
íne
z
![Page 31: 09 AFN, AFD y Construcción de Thompson · ninguna ambigüedad en las transiciones de estados para una entrada dada. 4 Teoría computacional Clase 08: AFN, AFD y Construcción de](https://reader030.fdocuments.co/reader030/viewer/2022040407/5eaa7f6cff63327b3759027d/html5/thumbnails/31.jpg)
5. Concatenamos el último símbolo, enumerando e
indicando el estado inicial y el final
(b|(b*a)*)a ε
ε
31
Teo
ría
co
mp
uta
cio
na
l
Cla
se 0
8:
AF
N,
AF
D y
Co
nst
rucc
ión
de
Th
om
pso
n
Pro
f. E
dga
rdo
Ad
riá
n F
ran
co M
art
íne
z
![Page 32: 09 AFN, AFD y Construcción de Thompson · ninguna ambigüedad en las transiciones de estados para una entrada dada. 4 Teoría computacional Clase 08: AFN, AFD y Construcción de](https://reader030.fdocuments.co/reader030/viewer/2022040407/5eaa7f6cff63327b3759027d/html5/thumbnails/32.jpg)
6. FormalizandoAFN=(E,Q,f,q0,F)
E={a,b}
Q={q0,q1,q2,q3,q4, q5,q6,q7,q8,q9,q10,q11}
F={q11}
f: E*x Q→Q
L((b|(b*a)*)a)=L(AFN)
32
Teo
ría
co
mp
uta
cio
na
l
Cla
se 0
8:
AF
N,
AF
D y
Co
nst
rucc
ión
de
Th
om
pso
n
Pro
f. E
dga
rdo
Ad
riá
n F
ran
co M
art
íne
z
f A b ε
q0 - - {q1, q8}
q1 - - {q2, q7}
q2 - - {q3, q5}
q3 - q4 -
q4 - - q5
q5 q6 - -
q6 - - {q7, q2}
q7 - - q10
q8 - q9 -
q9 - - q10
q10 q11 - -
Q11 - - -
![Page 33: 09 AFN, AFD y Construcción de Thompson · ninguna ambigüedad en las transiciones de estados para una entrada dada. 4 Teoría computacional Clase 08: AFN, AFD y Construcción de](https://reader030.fdocuments.co/reader030/viewer/2022040407/5eaa7f6cff63327b3759027d/html5/thumbnails/33.jpg)
Ejercicios 07: Construcción de AFN´s con Thompson
• Construir grafica y formalmente los autómatas para las siguientesexpresiones regulares a través de la nomenclatura de Thompson.
1. (abc)*
2. (b|bc)+
3. letra_(letra_|digito)*
4. (a|b)*abb
5. [(b|b*a)*]a
6. (a*|b+) +
*Se entregarán antes del día Lunes 30 de Septiembre de 2013(23:59:59 hora limite).
*Sugerencia utilizar Jflap para el dibujo y simulación de los autómatas
*Incluir la redacción de cada ejercicio
*Portada y encabezados de pagina33
Teo
ría
co
mp
uta
cio
na
l
Cla
se 0
8:
AF
N,
AF
D y
Co
nst
rucc
ión
de
Th
om
pso
n
Pro
f. E
dga
rdo
Ad
riá
n F
ran
co M
art
íne
z