Código:

FORMATO PARA REALIZACIÓN DE ACTIVIDADES EVALUATIVAS

FD-GC195
FACULTAD: Ingeniería
PROGRAMA: Ingeniería Informática Versión: 01

ASIGNATURA CÓDIGO: ING01192 NOMBRE: Teoría de lenguajes y compiladores Grupo 03

PROFESOR: Jose Wilde Cisneros FECHA:

TIPO DE TALLER QUIZ PARCIAL FINAL OTRO – CUÁL?

EVALUACIÓN
x

NOMBRE: CÉDULA: NOTA:

Dado el AF

1. VALOR 35%
Construya el AFD equivalente
2. VALOR 25%
Minimice el AFD obtenido en el punto anterior (Partición de clases y diagrama de Moore)
Halle la ER del AFD
3. VALOR 10%
Halle la ER del AF minimizado
4. VALOR 30 %

A. Indique cuál de las siguientes afirmaciones es verdadera:

a) Nunca se puede afirmar con seguridad que un autómata finito no determinista acepta
una cadena
b) Un autómata finito no determinista sólo puede utilizarse para aceptar lenguajes finitos
c) Un autómata finito no determinista acepta una cadena cuando es posible que su análisis
deje a la máquina en un estado de aceptación

B. Indique cuál de las siguientes afirmaciones es verdadera:

a) La concatenación de un lenguaje regular con su complementario es siempre regular.
 b) La concatenación de un lenguaje regular con su complementario nunca es regular.
c) La concatenación de un lenguaje regular con su complementario puede ser regular.

C. Indique cómo caracterizaría las cadenas que genera la siguiente gramática:

S  S1
S1  x S 1 y
S1  xy
S  S2
S2  xS2 yy
S2  xy
a) {xnym : m y n son enteros positivos tales que m = n o m = 2n}
b) x* (yy)* (xy)*
c) {xnym : m y n son enteros positivos tales que m = n o m = 2n–1}.