MODALIDAD ABIERTA Y A DISTANCIA

Departamento de Ciencias de la Computacin y Electrnica

Seccin Inteligencia Artificial

Teora de Automatas
Evaluacin a distancia
5 Crditos

Titulacin Ciclo
Informtica VIII

Profesor Principal:
Ph. D. Juan Carlos Torres Diaz
TUTORAS: El profesor asignado publicar en el Entorno Virtual de Aprendizaje (EVA) su nmero telefnico y horario de tutora, para
contactarlo utilice la opcin Contactar al profesor

Ms informacin puede obtener llamando al Call Center 07 3701444, lnea gratuita

1800 88758875 o al correo electrnico callcenter@utpl.edu.ec

Abril Agosto 2016

Asesora virtual:
www.utpl.edu.ec

La Universidad Catlica de Loja

 Evaluaciones a distancia: Teora de Automatas

PERIODO: ABRIL - AGOSTO 2016

Le recordamos que usted debe enviar de forma obligatoria su
evaluacin a distancia a travs del Entorno Virtual de Aprendizaje (EVA)
en las fechas definidas, que son EXCLUSIVAS E IMPOSTERGABLES.
PRIMER PARCIAL
1 de mayo al 17 de mayo de 2016
CICLOS
TITULACIONES FECHAS DE ENVO ENVO POR TITULACIN
GENERAL

Ciencias de la Educacin, Mencin en:

-- Educacin Bsica
-- Fsico Matemticas 1 al 10 de mayo de 2016 12 y 13 de mayo de 2016 Todos los
-- Qumico Biolgicas ciclos
-- Lengua y Literatura
Contabilidad y Auditora
Gestin Ambiental
Economa Todos los
Psicologa 1 al 10 de mayo de 2016 13 y 14 de mayo de 2016 ciclos
Ciencias de la Educacin, Mencin en: Ingls
Ciencias de la Educacin, Mencin en: Educacin Infantil
Derecho
Administracin en Gestin Pblica Todos los
Ciencias de la Educacin, Mencin en: Ciencias Humanas y 1 al 11 de mayo de 2016 14 y 15 de mayo de 2016
ciclos
Religiosas
Administracin de Empresas Tursticas y Hoteleras
Administracin en Banca y Finanzas
Asistencia Gerencial y Relaciones Pblicas
Informtica 1 al 12 de mayo de 2016 16 y 17 de mayo de 2016 Todos los
ciclos
Administracin de Empresas
Comunicacin Social

Para el envo de las evaluaciones acceda a: www.utpl.edu.ec

ACTIVIDADES EN LNEA
Actividades en Lnea, acreditadas con 3 puntos. Al igual que la Evaluacin a Distancia es una estrategia de aprendizaje, especialmente de tipo
colaborativo, que se realiza en el Entorno Virtual de Aprendizaje ya sea de modo asncrono (foro) o sncrono (chat y videocolaboracin) como veremos
en sus definiciones:
Foro acadmico a travs el EVA
En el que se realizan debates o anlisis de temas, se resuelven casos o problemas o se puede hacer trabajo
en grupo (lluvia de ideas, discusin sobre procedimientos). Est planificado y moderado por el tutor
y favorece el coaprendizaje (aprender de y con los otros). El tutor o tutora podr plantearle varios por
bimestre pero solo uno ser calificado (un punto). Es una actividad opcional.

Chat acadmico a travs del

EVA
Es un dilogo escrito sncrono (en tiempo real) entre docente y estudiantes para debatir temas o resolver
casos o problemas. Est planificado y moderado por el tutor y favorece el coaprendizaje (aprender de y con
los otros). El tutor o tutora podr convocar varios por bimestre, pero solo uno ser calificado (un punto).
Es una actividad opcional.

Videocolaboracin a travs
del EVA Es una videoconferencia, con imagen y audio, sncrono (en tiempo real) entre docente y estudiantes. Su
uso es, adems de para consultas al profesor, para debatir aspectos especficos y realizar estudio de casos.
Est planificado y moderado por el tutor y favorece el coaprendizaje (aprender de y con los otros). El tutor
o tutora podr convocar varios por bimestre pero solo uno ser calificado (un punto). Es una actividad
opcional.

La Universidad Catlica de Loja

3
 Evaluaciones a distancia: Teora de Automatas

PRUEBA OBJETIVA (2 puntos)

A. Seleccione la alternativa correcta

1. La teora de autmatas es la base para el diseo del:

a. Analizador semntico.
b. Analizador lxico.
c. Analizador sintctico.

2. Dado un lenguaje cuyas palabras deben tener siempre una b antes de una a, y
su alfabeto es {a, b, c }, qu conjunto de palabras son vlidas?

a. aaccbbccaa.
b. aaabaabacc.
c. baabaabacc.

3. Los alfabetos sirven para

a. Formar cadenas.
b. Validar los analizadores sintcticos.
c. Formar tokens del analizador lxico.

4. Un autmata finito determinista consta de:

a. Un alfabeto, un conjunto de estados, una funcin de transicin

b. Transiciones y estados
c. Un alfabeto, Un conjunto de estados, una funcin de transicin, un estado
inicial, los estados finales

5. En un autmata finito determinista:

a. Los estados y cadenas son del mismo tamao

b. Las cadenas y las aristas son parte de la definicin
c. Los estados y las aristas son parte de la definicin

6. Con respecto a las notaciones para representar los autmatas finitos

deterministas, cul de las siguientes afirmaciones es correcta:

a. Se pueden representar con un diagrama de transiciones y/o una tabla de

transiciones
b. Solamente se los puede representar con un diagrama de transiciones
c. Solamente se los puede representar con la tabla de transiciones.

4 MODALIDAD ABIERTA Y A DISTANCIA

 Evaluaciones a distancia: Teora de Automatas

7. Una transicin vaca implica pasar de un estado a otro:

a. Leyendo solamente un smbolo del alfabeto

b. Leyendo ms de un smbolo del alfabeto
c. Sin leer smbolos del alfabeto

8. Un AFND con respecto a un AFD:

a. Tiene ms estados
b. Tiene menos estados
c. Tiene el mismo nmero de estados

9. Qu cadena genera la siguiente expresin regular: (0|1)*01?.

a. 000000
b. 000001
c. 111110

10. Qu expresin regular representa el lenguaje formado por todas las cadenas
{a, b}, tales que toda a este precedida por una b?

a. b(ba)*
b. ab*(ba)
c. (ba)ab*

11. Respecto a la precedencia de operadores en las expresiones regulares

a. El operador * tiene menor precedencia que el operador de unin

b. El operador concatenacin tiene mayor precedencia que el operador *
c. El operador unin tiene menor precedencia que la concatenacin

12. Cuando se transforma un AFND en AFD

a. El nmero de estados iniciales y finales del AFD son exactamente los

mismos que el AFD
b. El estado inicial y el estado final es el mismo tanto en el AFD como en el
AFND
c. El estado inicial es el mismo en el AFND y en el AFD; y, los estados finales
del AFD son todos aquellos que contengan el o los estados finales del
AFND

La Universidad Catlica de Loja

5
 Evaluaciones a distancia: Teora de Automatas

13. El siguiente autmata qu expresin regular representa?

a. abc
b. (a|b)c*
c. (a|b)c

14. El siguiente autmata es:

a. Autmata finito determinista

b. Autmata finito no determinista
c. Autmata equivalente

15. El conjunto cerradura del estado q0 del siguiente autmata es:

a. {q1, q2}
b. {q0, q1, q2}
c. {q0, q1, q2, q5}

6 MODALIDAD ABIERTA Y A DISTANCIA

 Evaluaciones a distancia: Teora de Automatas

B. Conteste V en caso de ser verdadero y F en caso de ser falso cada una de las
siguientes preguntas

16.() Un alfabeto es un conjunto de palabras que pertenecen a un

lenguaje

17.() La longitud de la cadena aabbcc es 6

18.() En un autmata finito determinista el reconocimiento es ms

rpido que en un autmata finito no determinista

19.() Un AFD, puede tener transiciones vacas

20.() Las transiciones vacas permiten hacer ms eficiente el autmata.

21.() La expresin regular (a|b)* genera las mismas cadenas que genera
la expresin regular (a*| b*)

22.() La siguiente expresin regular: ab|c*d , genera cadenas tipo

abdabdabd

23.() Un AFND con transiciones vacas permite reconocer las mismas

cadenas de un lenguaje representado por un AFD.

24.() La asociatividad es la propiedad de un operador que establece que

se puede cambiar el orden de sus operandos y obtener el mismo
resultado en el lgebra de expresiones regulares.

25.() La expresin regular (a* | b*) genera cadenas de tipo: ababab.

26.() En una expresin regular el signo ms + indica que el carcter

afectado se repite una o ms veces.

27.() La interseccin de dos lenguajes regulares da como resultado otro

lenguaje regular

28.() La funcin de transicin del AFD es ms compacta que la de un

AFND

29.() Si L = {001, 10, 111} y M = {, 001}, entonces L U M = {, 10, 001, 111}

30.() La diferencia de L y M, es el conjunto de cadenas que pertenecen al

lenguaje L pero no al lenguaje M.

La Universidad Catlica de Loja

7
 Evaluaciones a distancia: Teora de Automatas

PRUEBA ENSAYO (4 puntos)

Estrategia de desarrollo: Antes de desarrollar las preguntas debe revisar los ejemplos
desarrollados en el texto bsico y la gua didctica, adicionalmente en el EVA se
dispone de ejemplos y videos explicativos. Una vez desarrollado cada ejercicio, debe
ingresar cadenas de entrada y verificar que es reconocida, de esa manera se asegura
que funciona correctamente.

1. Del siguiente listado de cadenas, marque las cadenas que reconoce el siguiente
AFND:

CADENA RECONOCE CADENA RECONOCE CADENA RECONOCE

1. ab 5. abab 9. ccab
2. cb 6. a 10. abacab
3. ccac 7. ccacc 11. caa
4. cc 8. c 12. b

2. Escriba una expresin regular y el autmata finito determinista (AFD) para que
reconozca nmeros enteros y decimales, con signo (+ y -):

3. Dada la siguiente expresin regular: (a*|b*)*, transfrmela a autmata finito no

determinista (AFND) y luego aplicando el algoritmo transfrmelo a autmata
finito determinista (AFD)

Estimado(a) estudiante, una vez resuelta su evaluacin a distancia en el

documento impreso (borrador), acceda al Entorno Virtual de Aprendizaje
(EVA) en www.utpl.edu.ec e ingrese las respuestas respectivas.

SEOR ESTUDIANTE:
Le recordamos que para presentarse a rendir las
evaluaciones presenciales no est permitido el uso de
ningn material auxiliar (calculadora, diccionario, libros,
Biblia, formularios, cdigos, leyes, etc.)
Las pruebas presenciales estn diseadas para
desarrollarlas sin la utilizacin de estos materiales.

8 MODALIDAD ABIERTA Y A DISTANCIA

 Evaluaciones a distancia: Teora de Automatas

PERIODO: ABRIL - AGOSTO 2016

Le recordamos que usted debe enviar de forma obligatoria su
evaluacin a distancia a travs del Entorno Virtual de Aprendizaje (EVA)
en las fechas definidas, que son EXCLUSIVAS E IMPOSTERGABLES.
SEGUNDO PARCIAL
1 de julio al 17 de julio de 2016
CICLOS
TITULACIONES FECHAS DE ENVO ENVO POR TITULACIN
GENERAL

Ciencias de la Educacin, Mencin en:

-- Educacin Bsica
-- Fsico Matemticas Todos
-- Qumico Biolgicas 1 al 12 de julio de 2016 16 y 17 de julio de 2016 los ciclos
-- Lengua y Literatura
Contabilidad y Auditora
Gestin Ambiental
Economa Todos
Psicologa 1 al 11 de julio de 2016 15 y 16 de julio de 2016
Ciencias de la Educacin, Mencin en: Ingls los ciclos
Ciencias de la Educacin, Mencin en: Educacin Infantil
Derecho
Administracin en Gestin Pblica Todos
Ciencias de la Educacin, Mencin en: Ciencias Humanas y 1 al 10 de julio de 2016 14 y 15 de julio de 2016
Religiosas los ciclos
Administracin de Empresas Tursticas y Hoteleras
Administracin en Banca y Finanzas
Asistencia Gerencial y Relaciones Pblicas Todos
Informtica 1 al 10 de julio de 2016 12 y 13 de julio de 2016
Administracin de Empresas los ciclos
Comunicacin Social

Para el envo de las evaluaciones acceda a: www.utpl.edu.ec

ACTIVIDADES EN LNEA
Actividades en Lnea, acreditadas con 3 puntos. Al igual que la Evaluacin a Distancia es una estrategia de aprendizaje, especialmente de tipo
colaborativo, que se realiza en el Entorno Virtual de Aprendizaje ya sea de modo asncrono (foro) o sncrono (chat y videocolaboracin) como veremos
en sus definiciones:
Foro acadmico a travs el EVA
En el que se realizan debates o anlisis de temas, se resuelven casos o problemas o se puede hacer trabajo
en grupo (lluvia de ideas, discusin sobre procedimientos). Est planificado y moderado por el tutor
y favorece el coaprendizaje (aprender de y con los otros). El tutor o tutora podr plantearle varios por
bimestre pero solo uno ser calificado (un punto). Es una actividad opcional.

Chat acadmico a travs del

EVA
Es un dilogo escrito sncrono (en tiempo real) entre docente y estudiantes para debatir temas o resolver
casos o problemas. Est planificado y moderado por el tutor y favorece el coaprendizaje (aprender de y con
los otros). El tutor o tutora podr convocar varios por bimestre, pero solo uno ser calificado (un punto).
Es una actividad opcional.

Videocolaboracin a travs
del EVA Es una videoconferencia, con imagen y audio, sncrono (en tiempo real) entre docente y estudiantes. Su
uso es, adems de para consultas al profesor, para debatir aspectos especficos y realizar estudio de casos.
Est planificado y moderado por el tutor y favorece el coaprendizaje (aprender de y con los otros). El tutor
o tutora podr convocar varios por bimestre pero solo uno ser calificado (un punto). Es una actividad
opcional.

La Universidad Catlica de Loja

9
 Evaluaciones a distancia: Teora de Automatas

PRUEBA OBJETIVA (2 puntos)

A. Seleccione la alternativa correcta

1. Una gramtica es un conjunto de:

a. Terminales
b. No terminales
c. Reglas

2. El smbolo inicial de la gramtica

a. Es un terminal
b. Es un no terminal
c. Es una regla

3. Una derivacin por la derecha

a. Construye la cadena de derecha a izquierda

b. Reemplaza el terminal ubicado desde la izquierda a la derecha
c. Reemplaza el no terminal ubicado desde la izquierda a la derecha

4. Las variables o no terminales aparecen:

a. Solamente en la parte izquierda de las reglas de la gramtica

b. solamente en la parte derecha de las reglas de la gramtica
c. Tanto en la parte derecha como en la izquierda de las reglas de la gramtica

5. Seleccione la gramtica que permite generar cadenas con 1 y 0 alternados

a. X -> XY10
X -> 1
Y -> 0
X -> vacio

b. X -> 10X
X -> vacio

c. X -> 1Y0
Y -> 0X0
Y -> vacio

10 MODALIDAD ABIERTA Y A DISTANCIA

 Evaluaciones a distancia: Teora de Automatas

6. La diferencia entre un lenguaje independiente de contexto y un regular radica

en que:

a. El independiente de contexto requiere siempre de una gramtica y el

regular no
b. El independiente de contexto genera cualquier tipo de cadenas y el
regular no
c. El independiente de contexto requiere seguir reglas y el regular no

7. Dada la gramtica:

S -> Ab
A -> b
A -> a

Cul de las siguientes cadenas no puede ser generada?

a. ba
b. ab
c. bb

8. Al transformar una gramtica a forma normal de Chomsky la eliminacin de

smbolos intiles significa:

a. Eliminar la parte izquierda de una regla siempre y cuando este smbolo

sea no terminal
b. Eliminar un smbolo que no cumpla ninguna funcin a pesar de formar
parte de la gramtica
c. Eliminar una regla que vaya a vaco

9. Un autmata a pila:

a. Puede recordar informacin de forma LIFO: ltimo en entrar primero en

salir
b. Puede recordar informacin de forma FIFO: primero en entrar primero
en salir
c. Puede recordar informacin de forma LIFO y de forma FIFO

La Universidad Catlica de Loja

11
 Evaluaciones a distancia: Teora de Automatas

10. Dado el siguiente autmata a pila:

(q1, 0, X) -> (q2, ZX)

(q2, 1, Z) -> (q2, vaco)

a. Puede reconocer la cadena 1010 y al final la pila queda con ZX

b. Puede reconocer la cadena 010 y al final la pila queda con ZX
c. No puede reconocer la cadena 010 porque la pila queda vaca

11. Cul de las siguientes reglas o producciones es considerada como unitaria

a. E->T
b. E->a
c. E->

12. Cul de los siguientes autmatas de pila permite reconocer cadenas que
alternen letras a y b?

a. (q1, a, vacio) --> (q1, X)

(q2, b, vacio) --> (q2, y)

b. (q1, a, X) --> (q1, YX)

(q2, b, Y) --> (q2, vacio)

c. (q1, a, X) --> (q2, YX)

(q2, b, Y) --> (q1, vacio)

13. De las siguientes reglas, Cul cumple los requisitos para estar en forma normal
de Chomsky?

a. S ->ABC
b. S -> aB
c. S -> a

B. Conteste V en caso de ser verdadero y F en caso de ser falso cada una de las
siguientes preguntas

14.() Las gramticas estn directamente relacionadas con los lenguajes

independientes del contexto.

15.() Una regla o produccin est compuesta por una cabeza de la

produccin, el smbolo de la produccin y una cadena formada por
smbolos terminales y no terminales

16.() Tanto para la definicin de las reglas o producciones , como para la

derivacin se usa el mismo smbolo

12 MODALIDAD ABIERTA Y A DISTANCIA

 Evaluaciones a distancia: Teora de Automatas

17.() Las derivaciones en una gramtica pueden ser tanto por la derecha
como por la izquierda.

18.() Una gramtica es ambigua si permite reconocer diferentes tipos de

cadenas.

19.() La ambigedad de una gramtica se genera cuando no se respeta

la precedencia de operadores

20.() cuando al menos una gramtica de un lenguaje es ambigua

entonces se puede decir que el lenguaje es inherentemente
ambiguo

21.() En un rbol de derivacin los nodos internos se pueden etiquetar

con smbolos no terminales as como tambin con smbolos
terminales

22.() Un nodo tiene como mximo un padre, que se dibuja por encima
del mismo, y cero o ms hijos, que se dibujan por debajo

23.() La diferencia entre un autmata finito y el autmata a pila, es que

ste ltimo puede recordar una cantidad infinita de informacin.

24.() Un autmata a pila tiene los mismos cinco componentes que un

autmata finito.

25.() Los autmatas a pila tienen un comportamiento determinista con

los analizadores sintcticos.

26.() Los lenguajes de un Autmata de pila determinista incluyen todos

los lenguajes regulares.

27.() Una gramtica es expresada en forma normal de Chomsky cuando

en la parte derecha de cada regla no existe ms de un terminal

28.() Una mquina de Turing (lenguajes tipo 0) puede reconocer un

lenguaje regular

29.() Para eliminar smbolos intiles de una GIC, primero se debe

comprobar si alguna variable genera una cadena de smbolos
terminales y eliminar aquellas que no lo hacen junto con todas sus
producciones.

La Universidad Catlica de Loja

13
 Evaluaciones a distancia: Teora de Automatas

PRUEBA ENSAYO (4 puntos)

1. Dada la gramtica

A -> A S B
A -> C
C -> cd
S -> de
B -> ef

Elabore el rbol de derivacin para reconocer las siguientes expresiones:

cddeef
cdcddeef
cdcdcddeef

Estrategia de desarrollo:

Para desarrollar EL RBOL, grafquelo desde la raz y siempre utilizando derivaciones

por la izquierda; es decir haga los rboles derivando primero el no terminal de la
izquierda y luego avanzar hacia la derecha.

2. Desarrolle una gramtica que genere frases cuya letra inicial de cada palabra
sea mayscula, por ejemplo debera generar: Feliz Navidad o Feliz Navidad
Y Prspero Ao Nuevo, realice la derivacin por la izquierda y escriba su
rbol de derivacin

Estrategia de desarrollo:

De lectura a la gramtica, observe que permita escribir frases con dos o ms palabras,
que solamente permita maysculas al inicio de cada palabra, analice la gramtica y
escriba su rbol de derivacin para al menos dos frases.

14 MODALIDAD ABIERTA Y A DISTANCIA

 Evaluaciones a distancia: Teora de Automatas

3. Considere la siguiente gramtica:

<CUERPO> inicio <BLOQUE> fin

<BLOQUE> <UNASENTENCIA>
<BLOQUE> <UNASENTENCIA> <BLOQUE>
<UNASENTENCIA> <ASIGNACION>
<UNASENTENCIA> if <COND> inicio <BLOQUE> fin
<ASIGNACION> id = num;
<COND> id <OPRELACIONAL> id
<OPRELACIONAL> > | < | ==

Escriba un rbol de derivacin para el siguiente programa:

inicio
if (a = 2)
inicio
velocidad = 15;
tiempo = 2;
edad= 18;
fin
fin

Estimado(a) estudiante, una vez resuelta su evaluacin a distancia en el

documento impreso (borrador), acceda al Entorno Virtual de Aprendizaje
(EVA) en www.utpl.edu.ec e ingrese las respuestas respectivas.

SEOR ESTUDIANTE:
Le recordamos que para presentarse a rendir las
evaluaciones presenciales no est permitido el uso de
ningn material auxiliar (calculadora, diccionario, libros,
Biblia, formularios, cdigos, leyes, etc.)
Las pruebas presenciales estn diseadas para
desarrollarlas sin la utilizacin de estos materiales.

La Universidad Catlica de Loja

15