APORTE TRABAJO COLABORATIVO

OMAR PEDRAZA VALLE

CODIGO: 1065655932
GRUPO:301405_4

TUTOR:
JAIME JOSE VALDES

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

AUTOMATAS Y LENGUAJE FORMAL
COLOMBIA
2017
Ejercicio 1: Teniendo en cuenta el autómata realizar la expresión regular, el lenguaje regular y mencionar el tipo de autómata
(Autómata finito determinista y autómata finito no determinista)

Autómata

Expresión Utilizamos el método de eliminación Agregamos las transacciones que Agregamos las transacciones que
regular de estados: hacen falta para conectar cada hacen falta para conectar cada
Agregamos las transacciones que estado con el resto de estados: estado con el resto de estados:
hacen falta para conectar cada Ø 0 0
estado con el resto de estados: 0 q1
q0 q1
Ø Ø
Ø
0 Ø Ø 0 1
q0 q1 1 Ø Ø 1 Ø
Ø 1 Ø 1
Ø Ø 1
1 Ø Ø 1 q2
Ø q3
q0 q3
ØØ 0 Ø
1 Ø Ø
Ø
Ø
q2 q3 Eliminamos el estado q1
1 Ø
Ø
Eliminamos el estado q1 qx qy Qj ER
0 0 00* Ø + Ø Ø
Se selecciona un estado qr que no
0 3 00* 1+ 1 1+00*1
sea el estado final ni el inicial que es qx qy Qj ER
el que vamos a eliminar.
3 0 1 0* Ø+ 0 0
Seleccionamos a q1 como qr, 0 0 00* Ø + Ø Ø 3 3 10*1+ Ø 10*1
haciendo la concatenación de cada 0 2 00* Ø+1 1
transición desde todos los estados qx 0 3 00* 1+ Ø 00*1 Al eliminar los estados finales y no
hacia todos los estados qy, pasando 2 0 1 0* Ø+ Ø Ø finales el autómata queda así:
por qr 2 2 1 0* Ø+ Ø Ø Ø
10*1
2 3 1 0* 1+1 1+10*1 1+00*1
q0
qx qy Qj q3
3 0 Ø 0* Ø+ Ø Ø 0
0 0 0Ø* Ø 3 2 Ø 0* Ø+ Ø Ø
0 2 0Ø* Ø 3 3 Ø 0* 1+ Ø Ø
0 3 0Ø* 1 Entonces:
2 0 Ø Ø* Ø El autómata queda de la siguiente R: Ø
2 2 Ø Ø* Ø manera: S: 1+00*1
Ø U: 10*1
2 3 Ø Ø* 1
3 0 Ø Ø* Ø q0
T: 0
3 2 Ø Ø* Ø
3 3 Ø Ø* 1 1 Ø
Ø ER= (R+SU*T)*SU*
Hacemos la unión de Qj con el q2
Ø q3
símbolo de la transición que va de qx 1+10*1 ER= (Ø +(1+00*1)( 10*1)*0)*(
Ø Ø
a qy directamente, y agregamos una 1+00*1)( 10*1)*
columna con la expresión regular Ahora eliminamos el estado q2
ER=
qx qy Qj ER qx qy Qj ER ((1+00*1)(10*1)*0)*(1+00*1)(10*1
)*
0 0 0Ø* Ø + Ø Ø 0 0 1Ø* Ø + Ø Ø
0 2 0Ø* Ø+1 1 0 3 1Ø* 00*1+1(1
0 3 0Ø* 1+ Ø 01 (1+10*1)+ +10*1)
2 0 Ø Ø* Ø+ Ø Ø 00*1
2 2 Ø Ø* Ø+ Ø Ø 3 0 Ø Ø* Ø+ Ø Ø
2 3 Ø Ø* 1+1 1 3 3 Ø Ø* Ø
3 0 Ø Ø* Ø+ Ø Ø (10*1+1)+
Ø
 3 2 Ø Ø* Ø+ Ø Ø
3 3 Ø Ø* 1+ Ø Ø Al eliminar los estados finales y no
finales el autómata queda así:
El autómata queda de la siguiente Ø
Ø
manera: 00*1+1(1+10*1)
q0
q3
Ø
Ø

q0 Entonces:
01
R: Ø
1 Ø S: 00*1+1(1+10*1)
Ø U: Ø
q2
Ø q3 T: Ø
1 Ø
Ø

ER= (R+SU*T)*SU*
Ahora eliminamos el estado q2
ER= (Ø +(00*1+1(1+10*1)) Ø *
qx qy Qj ER
Ø)*( 00*1+1(1+10*1)) Ø *
0 0 1Ø* Ø + Ø Ø
0 3 1Ø* 1+ 01 01+11 ER=00*1+1(1+10*1)
3 0 Ø Ø* Ø+ Ø Ø
3 3 Ø Ø* 1+ Ø Ø

Al eliminar los estados finales y no

finales el autómata queda así:
Ø
Ø
01+11
q0
q3
Ø
 La expresión regular esta dada por la
expresión: (R+SU*T)*SU*
Donde:
R: transacción de q1 a q1
S: transacción de q1 a q3
U: transacción de q3 a q3
T: transacción de q3 a q1

Entonces:
R: Ø
S: 01+11
U: Ø
T: Ø

ER= (Ø +(01+11) Ø * Ø)*( 10+11)

Ø*

ER=01+11

Lenguaje L={w ϵ {0,1}* | w termina en 1 y L= {1n | 2≤n≤}∪ {0n1| n≤}∪ {110n1| L= { w ϵ {0,1}* | w termina en 1}
regular tiene exactamente dos símbolos} n≤1}

Tipo de Autómata finito determinista (AFD) Autómata finito no determinista Autómata finito determinista (AFD)
autómata (AFND)
(AFD o
AFND)