REACTIVOS DE TEORA DE LA COMPUTACIN

01.- Dado el Lenguaje L = { , cb, abbc, babac } determinar:

a) Los posibles prefijos, infijos y posfijos de cada cadena.
b) El alfabeto y adems la longitud de cada cadena de L.
c) El contenido del conjunto L2.
d) Es un Lenguaje finito o infinito?

a)
b)
c)
d)

L = { 10*1* }
L = { 0* (11,10)* }
L = { (10)* 101 }
L = { 1* 01 (0,1)1 }

e) L = { (11)* (10)* }
f) L = { 1 (10)* (11)* }
g) L = { 1+ (01)* 1* }
h) L = {(1,00)1 (01,0)1 1*}

02.- Dado el Lenguaje L = { , a, ab, c }, determinar el contenido

de los conjuntos , L0, L1, L2, L+ y L*.

08.- Considerando a = { a, b, c }, son equivalentes las parejas de

expresiones regulares de cada inciso?
a) ( ( a b) c)* y (ac bc)*
b) b ( ab ac ) y ( ba ba ) ( b c ).
c) ( a b )* a* y (( a b) a )*

03.- Considrese el lenguaje L*, surgido a partir de L = { a, b } con

un alfabeto = {a, b}.
a) Cuntas palabras de ese L* tienen longitudes de 2, de 3,
de 4 y de n, respectivamente?
b) Evaluar lo mismo que en el inciso anterior, pero ahora
con L = { a, ab, bc }, si = { a, b, c }.

09.- Especificar la expresin regular para los siguientes Lenguajes

sobre = { a, b }:
a) El Lenguaje de las cadenas que inician con a2 o que
finalizan con b2.
b) El Lenguaje de las cadenas que inician con a 2 y que
finalizan con b2.

04.- Considrese a L = { a, ab, bb }. Las cadenas abbabab, aabab,

abbaababbb, son palabras de un Ln?

10.- Sea G = { (A, B, C), (a, b, c), (A aaA, A bB, B cCb,

B cb, C bbC, C bb), (A)}. Establecer cules de las
siguientes cadenas pertenecen a L (G).
a) aabcb.
d) aaaabcbbb.
b) abbcb.
e) aabcbbbbb.
c) aaaabcbb.
f) aabccbbbb.

05.- Dado el Lenguaje L = { aa, aba, baa }, responder:

a) Las cadenas a2ba2, (ba3)2, ba5(ba)2a3 son palabras del
Lenguaje L+?
b) Qu caractersticas tendran las cadenas de este L +
(expresadas en Lenguaje Natural)?
06.- Describir en Lenguaje Natural las cadenas que contiene cada
uno de los siguientes Lenguajes Formales.
a) L = { 1*0 }
d) L = { (1, 00)* }
b) L = { 1*00* }
e) L = { (0+1)* }
c) L = { 120* } { 021*} f) L = { (0,1)1 (0,1)* 00 }
07.- Determinar en cules de los siguientes Lenguajes est
contenida la cadena 1011.

11.- Dada G = ( { a, b, c}, { +, - }, { a a +, a - c -, b - +, b c

+, b a + c, c - , c c c, a - c + + }, { a }).
a) Qu observaciones se le pueden hacer a esta G?.
b) Caracterizar la Gramtica anterior.
c) Encontrar 6 cadenas del Lenguaje L (G).
12.- Sean N = { S, A, B }, T = { a, b }, 0 = { S }. Para cada inciso
caracterizar el Lenguaje generado por la Gramtica sealada:
a) P = { S AA | B, A aaA | aa, B bB | b }.
b) P = { S AB | AA, A aB | ab, B b }.

c) P = { S AB | aA, A a, B ba }.
13.- Caracterizar la Gramtica con P={S xSz, S ySz, S }
y 0 = { S }.
14.- Caracterizar la Gramtica con composiciones P = { S AB,
AB BA, A aA, A a, B Bb, B b} y 0 = { S }.
15.- Disear la Gramtica que produce
a) L(G) = { 0n1n | n }.
b) L(G) = { 0n1n | n o}.
c) L(G) = { 0m1n | m, n }.
16.- Disear para cada inciso una Gramtica que genere todas las
cadenas de bits con las siguientes caractersticas:
a) Con una cantidad par de 0 y una cantidad par de 1.
b) Con igual cantidad de 0 que de 1.
c) Con ms 0 que 1.
d) Con desigual cantidad de 0 que de 1.
17.- Disear una Gramtica Regular que produzca el Lenguaje L =
{ 01, 10 }+ con T = { 0, 1 }.
18.- Disear la Gramtica Regular que produzca, a partir del
alfabeto = {a, b}, el Lenguaje L(G) = {a*b} {a}.
19.- Demostrar que L (G) = { ambmcn | m, n } es un Lenguaje
Libre de Contexto.
20.- Demostrar que L(G) = {0n1n | n } no es Lenguaje Regular.
21.- Expresar al menos 5 de las reglas de produccin ms comunes
de Lenguaje C en BNF y otras 4 reglas de Pascal en Diagramas de
Sintaxis.

22.- Disear las composiciones en BNF para una Gramtica que

genere todos los nmeros reales o flotantes vlidos, sin tomar en
cuenta, en este caso, el tipo de Gramtica a emplear.
23.- Disear en BNF una Gramtica que produzca los nmeros
enteros sin signo en notacin hexadecimal vlida, como se
construyen en lenguaje ensamblador para los microprocesadores de
Intel (tales como los Pentium).
24.- Disear una Gramtica Regular en BNF para cada inciso, que
produzca los siguientes tokens:
a) Los identificadores vlidos en C o en Pascal.
b) Los nmeros enteros decimales sin signo.
c) Los nmeros enteros decimales (con o sin signo).
d) Los nmeros reales decimales (con o sin signo).
e) Los nmeros enteros hexadecimales sin signo.
25.- Dada la Gramtica con :
P = { <nmero> ::= <entero> | <real>,
<entero> ::= <dgito> | <entero> <dgito>,
<real>::= <entero>.<entero> | <entero>.<entero> E <exp> |
<entero> E <exp>,
<exp> ::= <entero> | <signo> <entero>,
<signo> ::= + | -,
<dgito> ::= 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 }
donde <nmero> es el smbolo inicial, especificar qu
inconvenientes tiene la Gramtica, respecto a la produccin de
nmeros vlidos segn los criterios empleados en el desarrollo de
compiladores actuales. A continuacin, evaluar tanto la derivacin
por la izquierda como por la derecha, para las cadenas 0.27 y 6E-3.
26.- Demostrar con un rbol de derivacin, si es posible, que la
cadena a2b2a2 es una cadena del Lenguaje producido por la
Gramtica con P = { S aAS | a, A SbA | SS | ba }, con smbolo
inicial S.

27.- Si G = ( { S }, { a, b, c }, { S abS, S bcS, S bbS, S

a, S cb }, { S } ), construir los rboles de derivacin para cada
una de las cadenas:
a) b3cb2a
c) ab2c2ab
b) ab2ac2ba
d) bcab5cb
28.- Desarrollar una frase vlida de un lenguaje natural (como el
castellano) por medio de un rbol de derivacin, utilizando las
reglas de produccin adecuadas.
29.- Disear el rbol de derivacin para la expresin ( a + b ) * c .
Cules seran su rbol de anlisis sintctico y su rbol sintctico?
Ntese que no se ofrecen como datos las composiciones a emplear,
sino que deben ser deducidas por el alumno, en base a sus
conocimientos sobre programacin.
30.- Disear un rbol de sintaxis y otro de anlisis sintctico que
genere la siguiente cadena tomada de un programa en Lenguaje C:
discrim = b * b - 4 * a * c.
31.- Determinar si G es ambigua o unvoca: G = ( { E }, { (, ), +, *,
id }, { E E + E E * E ( E ) id }, { E }). En este caso, como
la variedad de identificadores vlidos es muy grande, se considera
en la teora de compiladores, para generalizarlos, como si id fuera
un terminal definido.
32.- Dada la Gramtica con P = { A 0 B B, B 1 A | 0 A | 0 }
con A como smbolo inicial. Determinar si es ambigua o unvoca y
justifquese la respuesta.

b) P = { S ( S ) S | }
c) P = { S S exp S | a }

// exp es un operador.

35.- Demostrar que la Gramtica con N = { S}, T = { i, c, t, e, s}, P

= { S ictS | ictSeS | s } y 0 = {S} es ambigua y explicar las
implicaciones que tiene ese hecho.
36.- Disear el rbol de sintaxis de la expresin (A + B) * (C + D).
Disear adems el rbol de anlisis sintctico y las reglas de
produccin empleadas.
37.- Disear el rbol de anlisis sintctico, el rbol sintctico y las
reglas de produccin para un compilador que evale sin que exista
ambigedad la exponenciacin mltiple (a^b^c^d ...).
38.- Disear una Gramtica Libre de Contexto en la cual se
jerarquicen las cuatro operaciones aritmticas bsicas, adems de
los parntesis y considerando tambin la asociatividad. Llmese
<expresin> al smbolo inicial.
39.- Construir en cada inciso el rbol de anlisis sintctico segn las
reglas de produccin de la sintaxis del Pascal (investigar o deducir
las reglas gramaticales de este Lenguaje) y sealar las
composiciones utilizadas:
a) if ( a < b + c ) then a := 0
b) for contador := 1 to 80 do write ( =)
40.- Disear el rbol de anlisis sintctico para la instruccin while
x > y z = 2 do w x + 4.

33.- Demostrar que la Gramtica con P = { <entero> ::= <dgito> |

<entero> <entero>, <dgito> ::= 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 } es
ambigua y encontrar otra equivalente y no ambigua.

41.- Mostrar los resultados obtenidos despus de cada una de las

tres fases de anlisis al compilar la sentencia de asignacin voltaje
= minimo + 2 * lectura.

34.- Determinar si son ambiguas las siguientes Gramticas:

a) P = { S + S S | - S S | a }

42.- Convertir la Gramtica Libre de Contexto a su Forma Normal

de Chomsky (CNF):

P = { A xy | Bx | xEx,
B zC | DE | A,
C DC | xyF | FA | y,

D xx | yB | xE,
E EAx | yCy,
F AC | B }.

43.- Convertir a la Forma Normal de Chomsky (CNF) equivalente

la siguiente Gramtica Libre de Contexto:
N={ A, B, C, D, F}
T = { x, y }
0 = { A }
P ={ Axy,BDEF,
Cy,
EFA,
ABx,
CDC,
Dxx,
EyCy,
AxEx,
CxyF,
DyB,
FAC,
BzC,
CFA,
DxE,
FB }.
44.- Dibujar el diagrama de transicin de la Mquina de
Estado Finito que corresponde a cada inciso, adems de
expresar los seis conjuntos que forman la representacin
para M = (I, O, S, f, g, 0).
I
S

a/1
a/1
q0

b/1
q1

b/0
b)

a/0

q2
b/1

x/0
W
x/0

X
y/1

q0
q1
q2

q1
q0
q2

f
b
q0
q1
q1

g
b

q0
q2
q0

z
y
x

y
x
z

y/1

x/1
y/1

I
S
A
B
C
D

Z
X/0

46.- Establecer las transiciones (estados y cadenas de

salida) que resultan al introducir las siguientes cadenas de
entrada, referidas a las Mquinas de los problemas 44 y 45.

y
w
x

a) babccab en 44a)
b) zxyzxzyz en 44b)

b)

a)

y/0

a)

45.- Determinar cules son los conjuntos que determinan la

descripcin formal para las siguientes Mquinas de Estado
Finito, adems de las tablas de transicin para cada inciso.

f
y

g
y

B
A
C
D

D
C
A
D

B
B
D
C

a
d
c
d

b
a
b
c

a
c
b
b

c) bbabbbaaba en 45a)
d) xyxyyxyxxy en 45b).

47.- Disear una Mquina de Estado Finito en cada inciso,

considerando las especificaciones en cada caso y
considerando como dato de entrada posible cualquier
cadena de bits vlida. Tales podran ser cadenas como
0010001110, 1101, 11111, 001, 010101010 11 por ejemplo.
Como dato curioso, en cada una de ellas, la salida se fija en
1 si se cumplen los requerimientos o en 0 si no es as.

a) Si la entrada es una cadena con una cantidad de 1

igual a un mltiplo de 3 la salida es 1; 0 en caso contrario.
b) Si la entrada contiene dos o ms bits en 1 la salida
es 1; 0 en caso contrario.
c) La salida es 1 si la cadena de entrada es
exactamente 101; 0 en caso contrario.
d) La salida es 1 si la cadena inicia con 101; 0 en
caso contrario.
e) La salida es 1 si la cadena contiene exactamente
un 0; 0 en caso contrario.
48.- Disear una Mquina de Estado Finito que funcione
como restador binario en serie y otra que se comporte como
un multiplicador binario en serie, para operar con cadenas de
la misma longitud. Justificar las respuestas.
49.- Disear una Mquina de Estado Finito que d cmo
salida 1 si la cadena de entrada tiene una cantidad de 0 igual
a un mltiplo de 2 de 3; 0 en caso contrario.
50 .- Disear una Mquina de Estado Finito que presente un
1 en la salida cuando la cadena de entrada, formada por
unos y ceros, contiene el infijo 10 ; 0 en caso contrario.
51.- Disear una Mquina de Estado Finito en la cual, el dato
de entrada es cualquier cadena de bits y donde la salida es 1
cuando en la entrada se incluye el infijo 101; 0 en caso
contrario.
52.- Disear una Mquina de Estado Finito, que tambin sea
Autmata de Estado Finito, con las siguientes
caractersticas:
I = {a, b, c},
S = {A, B, C, D},
0 = {A}.
53.- Dado el siguiente diagrama de transicin determinar:

a) Se puede transformar esta Mquina en un

Autmata Finito?
b) Qu sistema real representa?

1/0

1/1

1/0

0/0

0/1

0/0

54.- Disear un Autmata Finito que acepte cadenas no

nulas formadas con los smbolos del conjunto I = { a, b, c } y
que no contengan ni a ni c.
(Sin = bn n )
55.- Disear un Autmata Finito con I = { a, b } que acepte
cadenas con una cantidad impar de letras a.
56.- Disear un Autmata Finito con I = { a, b } que acepte
las palabras en las que siempre que aparezca una b, est
seguida necesariamente por una a.
57.- Disear un Autmata Finito con I = { a, b } que acepte
los arreglos que inicien con baa.
58.- Demostrar que no es posible construir un Autmata de
Estado Finito que al recibir como entrada cualquier cadena
de bits, acepte la cadena que contiene exactamente la
misma cantidad de 0 que de 1.

59.- Comparar entre el diseo de una mquina para venta de

refrescos implementada con los modelos de Autmata y de
Mquina de Estado Finito para descubrir la diferencia entre
las dos herramientas matemticas. Considrese el caso de
un refresco con un coste de 30 centavos de dlar, y
empleando monedas de 5, 10 y 25 centavos como entradas.
60.- Proponer un ejemplo de un modelo real que se pueda
simular con Mquina o con Autmata de Estado Finito. Se
puede hacer una consulta en textos de varias asignaturas,
tales como Inteligencia Artificial, Sistemas Digitales
Secuenciales, Redes, Lenguajes de Programacin
Comparados, Compiladores, por ejemplo.
61.- Determinar el Autmata Finito que acepta cada uno de
los siguientes Lenguajes:
a)
e) { a+b+ }
b) { }
f) { bca* } { ac* }
c) { a, b }
g) { a (a,b)*} { b (a,b)*}
*
d) { (a, b) }
62.- Disear un Autmata Finito que acepte todas las
cadenas de bits que finalicen con 00.
63.- Disear un diagrama de transicin para cada uno de los
Lenguajes expresados en los siguientes incisos:
a) L = { a } { (ab)+ }.
b) L = { ab* } { ab*a }.
64.- Disear un Autmata Finito en cada inciso de acuerdo a
las entradas y las cadenas aceptadas que se indican.
a) I = { +, * }. Cadenas que contienen +** *++.
b) I = { w, z}. Cadenas que terminen en wz o en z2w.
65.- Qu cadenas acepta el siguiente Autmata Finito?

Q0

Q1
1

0
1

Q2

Q3

0, 1

66.- Determinar el Lenguaje aceptado por cada uno de los

siguientes Autmatas:

67.- Caracterizar el Lenguaje aceptado por los siguientes

Autmatas Finitos No Determinsticos:
68.- Qu cadenas acepta el siguiente AFD?

b
Q0

Q1

70.- Disear una Gramtica Regular con T = { a, b } que

genere todos los arreglos que finalicen con ba. El diseo se
deber hacer a partir de un Autmata Finito.
71.- Disear por medio de un Autmata Finito una Gramtica
Regular con T = { a, b } que genere todas las cadenas que
contengan el infijo ba.
72.- Disear por medio de un Autmata Finito la Gramtica
Regular que produce todas las cadenas que representan los
nmeros enteros hexadecimales sin signo en la notacin de
ensamblador.
73.- Construir una Gramtica Regular que genere el
Lenguaje reconocido por el Autmata Finito determinado.

q0

q1
1
0

0
0

q1

0, 1

q2

69.- Demostrar que el Lenguaje de todas las cadenas de

unos y ceros que tienen al menos dos ceros consecutivos es
un Lenguaje Regular.

1
0

q0

Q2

q3

0, 1
b)

a)

q2

1
0

74.- Disear el AFD que acepte las cadenas producidas por

la Gramtica con P = { A xB | yA, B yC | x, C xB | y }
con smbolo inicial A.
75.- Disear un AFD que acepte las cadenas del Lenguaje L
(G) para la Gramtica con reglas P = { S mS | nC, C
nD | m, D mD | n} con S como inicial. Caracterizar el
Lenguaje producido.
76.- Disear un AFD que reconozca las cadenas del
Lenguaje generado por la siguiente Gramtica: G = ( { S, C },
{ a, b }, { S bS | aC , C bC | b }, { S } ). Encontrar la
caracterizacin del Lenguaje L(G).
77.- Disear un AFD que acepte las cadenas del Lenguaje L
(G) para la Gramtica con reglas P = { S mC | nD | m, C
mS | n, D m | n | nC | nD }. El smbolo inicial es S.
78.- Disear un AFD que acepte las cadenas del Lenguaje L
(G) para la Gramtica con reglas P = { A aA | uB | a, B
oA | a | o | u } con A como smbolo inicial.
79.- Disear un AFD que acepte las cadenas del Lenguaje L
(G) para la Gramtica con reglas P = { X aX | bY | b, Y

cY | a | c } con X como smbolo inicial. Caracterizar, adems,

el Lenguaje L(G).
80.- Sea L el conjunto de arreglos aceptados por el siguiente
AFD. Constryase un AFD que acepte los arreglos L R =
{ xn ... x2 x1 | x1 x2 ... xn L }. Caracterizar L y LR. Se
empieza en el estado de aceptacin y se traza el recorrido
en sentido opuesto hasta llegar al estado inicial. En seguida
se convierte el AFND en un AFD.

81.- Disear para cada inciso, el diagrama de transicin del

Autmata Finito que acepta las palabras, resultado de las
operaciones indicadas en los correspondientes Lenguajes.

82.- Disear un Autmata Finito con transiciones en el que

con I = { a, b } se acepte el Lenguaje L = { ab*} {(ab)*}.
Cmo sera la versin del Autmata Finito sin transiciones
, que aceptara ese mismo Lenguaje?
83.- Cmo se disearan los Autmatas de Pila que acepten
cada uno de los siguientes Lenguajes?
a) L = { xn yn | n o}.
b) L = { s | s sea cualquier expresin que contenga
parntesis correctamente anidados }.
c) L = { xm yn | m >= n; m, n }
d) L = { xm yn xm | m, n }
e) L = { xn yn zn | n }
f) L = { ( x, y )* | Cantidad de x >= Cantidad de y }
84.- Sea la Gramtica Libre de Contexto definida por las
composiciones P = { S zMNz, M aMb, M z, N
bNb, N z } y con smbolo inicial S. Disear el Autmata de
Pila que acepta el Lenguaje L(G).
85.- .- Sea la Gramtica Libre de Contexto definida por las
composiciones P = { S aAS | a, A SbA | SS | ba } y con
smbolo inicial S. Disear el Autmata de Pila que acepta el
Lenguaje L(G).
Problemas propuestos por
e-mail:

Abelardo Gmez Andrade

altair888@hotmail.com

Tmense
como
referencia
para
departamentales del curso CC209.

los

exmenes