Professional Documents
Culture Documents
PRESENTADO POR:
GRUPO:
301405_62
TUTOR
CESAR JIMNEZ
INTRODUCCIN
Ejercicio 1
= {{0, 1, 2, 3, 4, 5 , 6 , 7 }, {1,2}, , 0 , {7 , 4 }}
= {1,2}
Estado inicial:
= 0
: (0, 1) = 1
: (0, 2) = 2
: (1, 1) = 5
: (1, 2) = 3
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
AUTOMATAS Y LENGUAJES FORMALES
2017
: (2, 1) = 6
: (2, 2) = 4
: (3, 1) = 7
: (3, 2) = 1
: (4, 1) = 1
: (4, 2) = 5
: (5, 1) = 3
: (5, 2) = 7
: (6, 1) = 4
: (6, 2) = 1
: (7, 1) = 1
: (7, 2) = 2
2. Plasme la tabla de transicin del autmata. (No es la que generas VAS). (Antes de
minimizar)
Tabla de transiciones
Entradas
Estados
1 2
q0 q1 q2
q1 q5 q3
q2 q6 q4
q3 q7 q1
q4 q1 q5
q5 q3 q7
q6 q4 q1
q7 q1 q2
L= {todas las cadenas que empiezan por un {1} o {2} y terminan en un {1} o
{2}}, con al menos tres elementos si comienza por 2 o tres elementos si
comienza por 1, sobre el alfabeto {1,2}
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
AUTOMATAS Y LENGUAJES FORMALES
2017
Estados Distinguibles
= {4, 7 }
Estados no Distinguibles
= {0, 1, 2, 3 , 5 , 6 }
1 2
q0 B B
q1 B B
q2 B A
q3 A B
q5 B A
q6 A B
= {4, 7 }
= {0, 1 }
= {2, 5 }
= {3 , 6 }
= {0, 1 }
1 2
q0 B C
q1 C D
= {2, 5 }
1 2
q2 D A
q5 D A
= {3 , 6 }
1 2
q3 A B
q6 A B
= {4, 7 , 0 }
= {1 }
= {2, 5 }
= {3 , 6 }
= {4, 7 , 0}
1 2
q4 B C
q7 B C
q0 B C
= {1 }
1 2
q1 C D
= {2, 5 }
1 2
q2 D E
q5 D E
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
AUTOMATAS Y LENGUAJES FORMALES
2017
= {3 , 6 }
1 2
q3 E B
q6 E B
Estados Entradas
1 2
Autmata generado
M = (K, , , s, F)
=
Estados de aceptacin
=
Transiciones:
: (, 1) =
: (, 2) =
: (, 1) =
: (, 2) =
: (, 1) =
: (, 2) =
: (, 1) =
: (, 2) =
L = { {0, 1} | = todas las cadenas que empiezan por un {1} o {2} y terminan
en un {1} o {2}}, con al menos tres elementos si comienza por 2 o tres elementos si
comienza por Identifique su gramtica (de forma manual) por la derecha y
caractercela. Debe incluir el diagrama de estados con los componentes de la
gramtica asociados a las variables y a las constantes.
Regla Gramtica
2
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
AUTOMATAS Y LENGUAJES FORMALES
2017
V = es un alfabeto de variables
= Es un alfabeto de constantes
A Ab
A a
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
AUTOMATAS Y LENGUAJES FORMALES
2017
Ejercicio 2
Disee un AP que lea el siguiente lenguaje L = {(ab*) | (c*d*)} ; es decir todas las
combinaciones posibles de cadenas conformadas por los smbolos (a) (b*) o
(c*)(d*) (con pila vaca).
1. Describa el autmata en notacin matemtica
3. S->aB|cC|e
4. B->bB|e
5. C->cC|D
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
AUTOMATAS Y LENGUAJES FORMALES
2017
6. D->dD|e
5. Plasme las imgenes del recorrido de ese Traceback para cada movimiento en
el documento. (Se debe apoyar en JFLAP) (Documente el proceso)
La cadena es rechazada
Simulacin de abbb
Por otra parte sigue teniendo smbolos que leer y acepta la cadena
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
AUTOMATAS Y LENGUAJES FORMALES
2017
Toma por la transicin vaca hacia a q3, donde lee c y luego a q4 al leer d
CONCLUSIONES
BIBLIOGRAFIA