Eval. Teoría de Autómatas

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
VIII
Ingeniero en Informtica
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 072 3701444, lnea gratuita
1800 88758875 o al correo electrnico callcenter@utpl.edu.ec
Octubre 2015-Febrero 2016
Asesora virtual:
www.utpl.edu.ec
La Universidad Catlica de Loja
Evaluaciones a distancia: Teora de Automatas
PERIODO: OCTUBRE 2015 - FEBRERO 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 noviembre al 17 de noviembre de 2015
CICLOS
FECHAS DE ENVO
GENERAL
ENVO POR TITULACIN
Licenciado en Ciencias de la Educacin, Mencin:

-- Educacin Bsica
-- Fsico Matemticas
-- Qumico Biolgicas
-- Lengua y Literatura
Contabilidad y Auditora
1 al 10 de noviembre de
2015
12 y 13 de noviembre
de 2015
Todos los
ciclos
Gestin Ambiental
Economista
Licenciado en Psicologa
Licenciado en Ciencias de la Educacin, Mencin: Ingls
Licenciado en Ciencias de la Educacin, Mencin: Educacin Infantil
2015
de 2015
Todos los
ciclos
Derecho
Administracin en Gestin Pblica
Licenciado en Ciencias de la Educacin, Mencin: Ciencias Humanas
y Religiosas
Administracin de Empresas Tursticas y Hoteleras
2015
de 2015
Todos los
ciclos
2015
de 2015
Todos los
ciclos
TITULACIONES
Administracin en Banca y Finanzas

Licenciado en Asistencia Gerencial y Relaciones Pblicas
Administracin de Empresas
Licenciado en 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 un actividad opcional.
Chat acadmico a travs del

EVA
Videocolaboracin 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 un actividad opcional.
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 un actividad
opcional.
PRUEBA OBJETIVA ( 2 puntos)
A.
Seleccione la respuesta correcta para cada pregunta
1.
Compare los conjuntos A y B y escoja la conclusin ms adecuada A= {a, b, c} B=

{Casa, Si, No, a, b, c, 1, 2}
2.
3.
4.
a)
A es alfabeto y B es lenguaje
b)
B es alfabeto
c)
Los dos son lenguajes
El lenguaje sirve para:

a)
Definir smbolos del alfabeto
b)
Escribir sentencias gramaticales
c)
Reconocer cadenas
Cul de los siguientes lenguajes se puede formar a partir de = {a, b, c, 1, 2, 3}

a)
{abc, abcd, a1b2c3}
b)
{a, bc, abc, a1b1c1 }
c)
{a,b,c, a1c1d1, b2c2}
El siguiente grfico, qu expresin regular representa?
a)
(a|b)+c
b)
(a+b+)c
c)
(a|b+)c
d)
(ab+c)
5.
6.
7.
8.
a)
(a b )*
b)
(a b*)
c)
(a* b)
d)
(a b)+
a)
( (a b) |a ) c*
b)
(abc*)
c)
(ab) |ac*
d)
(aa)+ bc*
Cul de las siguientes formas es la menos adecuada para representar un

autmata?
a)
Expresiones regulares
b)
Gramticas
c)
Expresin gramatical
Un autmata finito determinista permite

a)
Estar en un solo estado a la vez
b)
Estar en dos estados a la vez
c)
Estar en ms de dos estados a la vez
9.
10.
B.
Dada la siguiente expresin regular: (a+|b+|c+), Cul de las siguientes cadenas

se puede generar?
a)
ac
b)
aa
c)
abc
d)
aabbcc
Dada la siguiente expresin regular: (a*| b*), Cul de las siguientes cadenas se
puede generar?
a)
aaaabbb
b)
ab
c)
aaaaaaa
d)
abab
Conteste con V o F segn corresponda
11.()
En el anlisis lxico se busca reconocer cadenas
12.()
Un autmata se puede representar a travs de una gramtica
13.()
Un autmata se puede representar a travs de una expresin

regular
14.()
Un alfabeto es un conjunto de palabras
15.()
Una cadena es un componente de un alfabeto
16.()
Con la cadena vaca se puede formar un smbolo
17.()
La longitud de una cadena es igual a la cantidad de smbolos de

alfabeto con que se forma la cadena
18.()
Un lenguaje se conforma por un conjunto finito de smbolos
19.()
Un lenguaje es un conjunto de smbolos
20.()
Un autmata es determinista cuando el nmero de smbolos que

lo conforman es fijo
21.()
Un autmata es no determinista cuando no se puede determinar el

nmero de cadenas que lo conforman
22.()
En la definicin de un autmata finito determinista interviene la

funcin de transicin, esta indica cual es el siguiente smbolo que
va a ser procesado por el autmata
23.()
Un autmata finito determinista puede tener mas de un estado de

aceptacin
24.()
El lenguaje del AFD es el conjunto de todas las cadenas que acepta
25.()
El smbolo * implica que la expresin regular se debe repetir cero

o ms veces
26.()
Un autmata finito no determinista reconoce entradas que se

forman a partir de un alfabeto
27.()
Si un autmata finito debe procesar la entrada abcd, el primer

smbolo en procesar es a
28.()
La expresin regular a+b+ permite reconocer la cadena aaaaab
29.()
La expresin regular (a|b*) permite reconocer la cadena aaa
30.()
El diagrama de transiciones es una representacin grfica de un

autmata
PRUEBA DE ENSAYO (4 puntos)

Estrategia de desarrollo:
Se sugiere revisar previamente los ejemplos resueltos del texto bsico y la gua
didctica; adicionalmente en el EVA se dispone de ejemplos y videos explicativos. Una
vez desarrollado cada ejercicio asegrese de que funciona correctamente; es decir
ingrseles una cadena de entrada y verifique que esta es reconocida.
31.
Construya una expresin regular que acepte comentarios en lenguaje c. El

formato de los comentarios en este lenguaje es el siguiente:
/* aqu va el comentario */
32.
Dada la ER (ac)*(ab)+ Elabore un AFND y transfrmelo en AFD siguiendo el

procedimiento descrito en la gua didctica. No se aceptan transformaciones
hechas utilizando herramientas informticas
33.
Construya un autmata que permita reconocer cadenas que tengan 0s y 1s

alternados. Ejemplo 010101. Las cadenas pueden empezar con 0 o con 1 y si
empiezan con 1 deben terminar con 0 viceversa.
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.
PERIODO: OCTUBRE 2015 - FEBRERO 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
2 de enero al 18 de enero de 2016
CICLOS
FECHAS DE ENVO
GENERAL
ENVO POR TITULACIN
Licenciado en Ciencias de la Educacin, Mencin:

-- Educacin Bsica
-- Fsico Matemticas
-- Qumico Biolgicas
-- Lengua y Literatura
Contabilidad y Auditora
2 al 13 de enero de 2016
17 y 18 de enero de 2016
Todos
los ciclos
Gestin Ambiental
Economista
Licenciado en Psicologa
Licenciado en Ciencias de la Educacin, Mencin: Ingls
Licenciado en Ciencias de la Educacin, Mencin: Educacin Infantil
Todos
los ciclos
Derecho
Administracin en Gestin Pblica
Licenciado en Ciencias de la Educacin, Mencin: Ciencias Humanas
y Religiosas
Ingeniero en Administracin de Empresas Tursticas y Hoteleras
Todos
los ciclos
Todos
los ciclos
TITULACIONES
Administracin en Banca y Finanzas

Licenciado en Asistencia Gerencial y Relaciones Pblicas
Administracin de Empresas
Licenciado en 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 un actividad opcional.
Chat acadmico a travs del

EVA
Videocolaboracin 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 un actividad opcional.
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 un actividad
opcional.
PRUEBA OBJETIVA ( 2 puntos)
A.
Conteste con V o F segn corresponda
1.
Un lenguaje independiente de contexto
2.
3.
4.
5.
6.
10
a)
Reconoce ms cadenas que un lenguaje regular
b)
Reconoce menos cadenas que un lenguaje regular
c)
Tiene las mismas cadenas que un lenguaje regular
Un lenguaje independiente de contexto

a)
Es ms amplio que uno regular
b)
Es mas dbil que uno regular
c)
Tiene la misma potencia que uno regular
Derivar es un proceso en el que:

a)
Se parte de las reglas y se llega a los no terminales
b)
Se parte de los no terminales y se construye reglas
c)
Se parte de los no terminales y se construye cadenas
La derivacin:
a)
Permite construir sentencias
b)
Permite reemplazar reglas
c)
Permite comprobar cadenas
En un rbol de derivacin:
a)
Las hojas del rbol se representan con mayscula
b)
Las hojas del rbol se representan con smbolos especiales
c)
Las hojas del rbol se escriben con minscula
Un rbol de derivacin representa:

a)
De forma grfica una sentencia de un lenguaje
b)
Un lenguaje
c)
Un conjunto de smbolos de un alfabeto
7.
8.
9.
10.
11.
El smbolo inicial de la gramtica

a)
Es un terminal
b)
Es un no terminal
c)
Es una regla
Las gramticas tienen un elemento que permite identificar la primera regla.

a)
Se denomina primer smbolo
b)
Se denomina axioma
c)
Se denomina regla inicial
Una gramtica siempre tiene en la parte izquierda de la primera regla un

smbolo, este smbolo es:
a)
Un Terminal
b)
Una regla
c)
Un no terminal
Cul de los siguientes conjunto abarca el concepto de gramtica?

a)
Conjunto de smbolos
b)
Conjunto de reglas
c)
Conjunto de terminales
En base a la siguiente gramtica:

SaAS | B
Abc
BcdS |cd
La cadena cd si puede ser reconocida

12.

SaAS | B
Abc
BcdS |cd
La cadena abcd si puede ser reconocida
11
13.

SaAS | B
Abc
BcdS |cd
La cadena abc si puede ser reconocida

14.

SaAS | B
Abc
BcdS |cd
La cadena cdcd si puede ser reconocida

15.

SaAS | B
Abc
BcdS |cd
La cadena bcd si puede ser reconocida

16.
Una gramtica independiente de contexto tiene como mximo dos no

terminales en la parte derecha
17.
La regla A a es vlida para una gramtica en forma normal de chomsky
18.
Un autmata de pila reconoce cadenas
19.
La regla AaSb es vlida en una gramtica en forma normal de chomsky
20.
Un autmata de pila tiene una estructura adicional que se denomina pila
21.
La pila de un autmata de pila cuenta con un alfabeto
22.
El argumento de recibe la funcin de transicin de un autmata de pila es un

conjunto con tres elementos que son: el estado, el smbolo de entrada y la
cadena de entrada
23.
El autmata de pila puede tener uno o ms estados iniciales
24.
La funcin de transicin de un autmata de pila retorna como un conjunto

con dos elementos que son: el estado de destino y la cadena que reemplaza el
elemento de la cima de la pila
12
25.
En el reconocimiento por estado final se da cuando el autmata se encuentra en

uno de los estados del conjunto de estados finales
26.
El reconocimiento por pila vaca implica que la pila tiene varios elementos y en
su cima el elemento vaco.
27.
En la siguiente gramtica:
ABC
C D
Dc
La regla CD es una produccin unitaria
28.
ABC
C D
Dc
La regla D c es vlida en una forma normal de Chomsky
29.
ABC
C D
Dc
La regla A BC es vlida en una forma normal de Chomsky
13
PRUEBA DE ENSAYO (4 puntos)
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.
30.
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
Para el desarrollo del problema 32 analice la sintaxis del lenguaje de programacin C
o C++; observe si permite declarar una sola o varias variables, cual es el formato en el
que se hace.
31.
Escriba una gramtica para generar declarar variables en el lenguaje de

programacin c o c++. La gramtica tiene que permitir uno o ms tipos de
variables.
De lectura a la gramtica, observe que permite escribir programas, analice el programa
escrito y escriba su rbol de derivacin.
32.
Consider e la siguiente gramtica:
<CUERPO> inicio <BLOQUE> fin

<BLOQUE> <UNASENTENCIA>
<BLOQUE> <UNASENTENCIA> <BLOQUE>
<UNASENTENCIA> <ASIGNACION>
14
<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 > b)
inicio
velocidad = 5;
tiempo = 2;
edad= 12;
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.
15

Eval. Teoría de Autómatas

Transféré par

Informations du document

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Eval. Teoría de Autómatas

Transféré par

Droits d'auteur :

Formats disponibles

MODALIDAD ABIERTA Y A DISTANCIA

Departamento de Ciencias de la Computacin y Electrnica

Octubre 2015-Febrero 2016

Evaluaciones a distancia: Teora de Automatas

PERIODO: OCTUBRE 2015 - FEBRERO 2016

ENVO POR TITULACIN

Licenciado en Ciencias de la Educacin, Mencin:

Administracin en Banca y Finanzas

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

Foro acadmico a travs el EVA

Chat acadmico a travs del

La Universidad Catlica de Loja

Evaluaciones a distancia: Teora de Automatas

PRUEBA OBJETIVA ( 2 puntos)

Seleccione la respuesta correcta para cada pregunta

Compare los conjuntos A y B y escoja la conclusin ms adecuada A= {a, b, c} B=

Los dos son lenguajes

El lenguaje sirve para:

Definir smbolos del alfabeto

Escribir sentencias gramaticales

Cul de los siguientes lenguajes se puede formar a partir de = {a, b, c, 1, 2, 3}

{abc, abcd, a1b2c3}

{a, bc, abc, a1b1c1 }

{a,b,c, a1c1d1, b2c2}

El siguiente grfico, qu expresin regular representa?

MODALIDAD ABIERTA Y A DISTANCIA

Evaluaciones a distancia: Teora de Automatas

El siguiente grfico, qu expresin regular representa?

El siguiente grfico, qu expresin regular representa?

Cul de las siguientes formas es la menos adecuada para representar un

Un autmata finito determinista permite

Estar en un solo estado a la vez

Estar en dos estados a la vez

Estar en ms de dos estados a la vez

La Universidad Catlica de Loja

Evaluaciones a distancia: Teora de Automatas

Dada la siguiente expresin regular: (a+|b+|c+), Cul de las siguientes cadenas

Conteste con V o F segn corresponda

En el anlisis lxico se busca reconocer cadenas

Un autmata se puede representar a travs de una gramtica

Un autmata se puede representar a travs de una expresin

Un alfabeto es un conjunto de palabras

Una cadena es un componente de un alfabeto

Con la cadena vaca se puede formar un smbolo

La longitud de una cadena es igual a la cantidad de smbolos de

Un lenguaje se conforma por un conjunto finito de smbolos

Un lenguaje es un conjunto de smbolos

Un autmata es determinista cuando el nmero de smbolos que

Un autmata es no determinista cuando no se puede determinar el

MODALIDAD ABIERTA Y A DISTANCIA

Evaluaciones a distancia: Teora de Automatas

En la definicin de un autmata finito determinista interviene la

Un autmata finito determinista puede tener mas de un estado de

El lenguaje del AFD es el conjunto de todas las cadenas que acepta

El smbolo * implica que la expresin regular se debe repetir cero

Un autmata finito no determinista reconoce entradas que se

Si un autmata finito debe procesar la entrada abcd, el primer

La expresin regular a+b+ permite reconocer la cadena aaaaab

La expresin regular (a|b*) permite reconocer la cadena aaa

El diagrama de transiciones es una representacin grfica de un

PRUEBA DE ENSAYO (4 puntos)

Construya una expresin regular que acepte comentarios en lenguaje c. El

Dada la ER (ac)*(ab)+ Elabore un AFND y transfrmelo en AFD siguiendo el

La Universidad Catlica de Loja