Gua de ejercicios 1 Teora Matemtica de la Computacin

Nmeros transfinitos
1. Demostrar que todo subconjunto infinito de los nmeros naturales es
contable.
2. Demostrar que todo nmero finito es menor que todo nmero transfinito.
3. Demostrar que si X es un conjunto infinito contable y A es un subconjunto de
X, A tambin es contable.
4. Demostrar que si X y Y son conjuntos infinitos contables, su unin tambin
es contable.
5. Demostrar que si X y Y son conjuntos infinitos contables, su producto
cartesiano tambin es contable.
6. Demostrar que el conjunto de todas las sucesiones posibles de nmeros
naturales es un infinito no contable.

Alfabetos y cadenas
7. Sea = {!}, y sea x=! una palabra. Definir las cadenas xx, xxx, 3 , 8 , 0 .
Cules son sus longitudes?
8. Sea = {0,1,2}, y sean x=00, y=1 y z=210 tres palabras. Definir las cadenas
xy, xz, yz, xyz, 3 , 2 2 , ()2, ()3 y ( 3 2 )3 .
9. La operacin reversa aplicada sobre una cadena x, denotada por , calcula
la cadena inversa de x. Es decir, aquella que contiene los mismos smbolos
que x pero en orden inverso. La operacin se puede definir de manera
inductiva as:
reversa() =
reversa(ax) = reversa(x)a
Donde a es un smbolo, y x es una cadena.
Haciendo uso de este esquema, defina las siguientes operaciones sobre
cadenas del alfabeto = { a,b }
a. Longitud. Que cuenta el nmero de smbolos que tiene una cadena.
b. Na. Que cuenta el nmero de aes que tiene una cadena.
c. Vaca. Que detecta si una cadena es vaca o no.

d. Final. Que calcula el sufijo de longitud n-1 de una cadena de longitud

n.
e. Cola. Que calcula el ltimo smbolo de una cadena.
f. Inicio. Que calcula el prefijo de longitud n-1 de una cadena de longitud
n.
g. Palndroma. Que detecta si una cadena es palndroma o no.

Lenguajes
10. Sean L1, L2 y L3 tres lenguajes arbitrarios descritos sobre un cierto alfabeto
. Compruebe si la igualdad L1(L2 L3) = L1L2 L1L3 es o no cierta.
11. Sea el lenguaje L = {, a}. Calcular , la concatenacin de un lenguaje
consigo mismo, en el caso de que n sea 0, 1, 2 y 3. Cuntas cadenas hay
en este lenguaje para un n arbitrario? Cules son las cadenas incluidas en
este lenguaje para un n arbitrario?
12. Dado el alfabeto = {, , }, escriba todas las palabras del lenguaje =
{/ }.
13. Defina por comprensin el lenguaje = {, , , }.
14. Defina por comprensin el lenguaje = {, , , , }.
15. Escriba todas las palabras del lenguaje = {2+1 / 1 4}.
16. Sea el lenguaje = {0, , , }. Cul es el mnimo alfabeto sobre el que
se puede construir?
17. Sea el lenguaje = {0,00,01,010}. Escriba una concatenacin de dos
palabras que produce otra palabra de este lenguaje.
18. Para el lenguaje del ejercicio anterior, escriba una concatenacin de dos
palabras que produce una cadena que no es palabra del lenguaje.
19. Para el lenguaje del ejercicio 17, escriba 3 sublenguajes de L, de distinta
cardinalidad.
20. Defina por comprensin el lenguaje = { / 1 3000}
21. Sea = {, } y sea el lenguaje = . Cuntas palabras de longitud 3
tiene este lenguaje? Cuntas de longitud 4?
22. Sea el lenguaje infinito = { / 1}. Escriba las tres palabras de
menor longitud.

23. Sea el lenguaje infinito = {() / 1}. Escriba las tres palabras de
menor longitud.
24. Sea el alfabeto = {0,1}. Describa, por comprensin, un lenguaje infinito
sobre (distinto de ).
25. Defina por estructura el lenguaje del ejercicio anterior.

Autmatas finitos determinsticos

26. Dados los siguientes autmatas, dibjelos e indique cul es el lenguaje que
aceptan. (la funcin se presenta como conjunto):

27. Construya un AFD que acepte cada uno de los siguientes lenguajes.
Escrbalos formalmente y dibjelos.

28. Construya un AFD que acepte cada uno de los siguientes conjuntos.
Escrbalos formalmente y dibjelos.
(a) El conjunto de todas las cadenas en {4,8,1} que contienen la subcadena
481.

(b) El conjunto de todas las cadenas en {} cuya longitud es divisible entre 2 o

entre 7.
(c) El conjunto de todas las cadenas {0,1} tal que la concatenacin de 0
con x sea un nmero binario que en base 10 es par, y que la concatenacin
de 1 con x sea un nmero binario que en base 10 es un mltiplo de 3.
(d) El conjunto de todas las cadenas en {, } que contiene al menos 3
ocurrencias de 3 bs consecutivas. Se permite la superposicin (la cadena
bbbbb se acepta).

29. Considere los siguientes dos AFD representados a travs de tablas:

1
2F

a
1
2

b
2
1

a
b
1
2
3
2
3
1
3F
1
2
a. Identifique los lenguajes que cada autmata acepta.
b. Construya un autmata que acepte la unin de los dos lenguajes.
c. Construya un autmata que acepte la interseccin de los dos
lenguajes.