You are on page 1of 2

Grado en Ingenier´ıa Inform´

atica
Computabilidad y Algoritmia
Curso 2014-2015

Hoja de problemas
Tema 0: Conceptos B´asicos

1. ¿De qu´e conjunto de s´ımbolos se derivan las palabras inglesas? ¿Y las
frases inglesas?
2. ¿Cu´al de las siguientes opciones NO describe un lenguaje?:
a) El conjunto de las palabras definidas en el diccionario de la Real
Academia Espa˜nola.
b) Los n´umeros racionales escritos en notaci´on decimal.
c) El conjunto de los programas sint´acticamente v´alidos escritos en C.
3. ¿Por qu´e el lenguaje vac´ıo ∅ no es el mismo que {ε}?
4. Indicar si las siguientes afirmaciones son verdaderas o falsas:
Σ puede ser un conjunto vac´ıo.
Si un alfabeto tiene infinitos s´ımbolos, todos los lenguajes de cadenas sobre ese alfabeto ser´an tambi´en infinitos.
{0, 1} es un lenguaje.
El n´
umero de sublenguajes de Σ∗ es infinito no numerable.
5. Para todo lenguaje L, ¿qu´e es L · ∅?
6. Sea Σ = {1}, ¿se puede decir que para todo n´umero natural n hay alguna
palabra w ∈ Σ∗ para la cual |w| = n? Si w es una cadena de Σ∗ para la
cual |w| = n, ¿es ´unica? ¿Qu´e ocurrir´ıa si Σ = {1, 2}?
7. Para una palabra w, ¿se puede decir que |wi+j | = |wi| + |wj |? Encontrar
una expresi´on para |wi+j | en t´erminos de i, j y |w|.
8. Definir las nociones de sufijo y sufijo propio de una cadena sobre un
alfabeto.
1

Grado en Ingenier´ıa Inform´
atica
Computabilidad y Algoritmia
Curso 2014-2015

9. Obtener todos los prefijos, sufijos y subpalabras de la cadena w = sol
sobre el alfabeto espa˜nol.
10. Demostrar que (wy)I = y I wI .
11. Sean L1 = {el, mi} y L2 = {casa, libro, ordenador}, lenguajes sobre el
alfabeto espa˜nol. Obtener L1 · L2, L1 · L1 , L1 · L2 · L2 .
12. Sea L = {ε, a}. Obtener Ln para n = 0, 1, 2, 3. ¿Cu´antos elementos
tiene Ln para un n arbitrario? ¿Cu´ales son las cadenas de Ln para un n
arbitrario?
13. Sean L1 = {ε, ab} y L2 = {cd}, ¿cu´antas cadenas hay en Ln1 L2 para un
n arbitrario?
14. Sean L1 = {ε}, L2 = {aa, ab, bb}, L3 = {ε, aa, ab} y L4 = ∅. Obtener
L1 ∪ L2 , L1 ∪ L3 , L1 ∪ L4 , L4 ∪ L4 , L1 ∩ L2 , L2 ∩ L3 , L1 ∩ L4 , L3 ∩ L4 .
Suponer que L es un lenguaje cualquiera. Obtener L ∪ L4 y L ∩ L4 .
15. ¿Bajo qu´e condiciones L∗ = L+?
16. Obs´ervese que para todo lenguaje L se tiene que ε ∈ L∗. ¿Cu´ando ε ∈
L+ ?
17. Sean A y B dos lenguajes sobre Σ. Demostrar que A ∩ B = A ∪ B y que
A ∪ B = A ∩ B.
18. Obtener los lenguajes A, B, y C, tales que A(B − C) 6= AB − AC
19. Demostrar que para los lenguajes A y B, (A ∪ B)∗ = (A∗B ∗ )∗.
20. Demostrar que (L∗)∗ = L∗, (L∗)+ = L∗ y (L+)∗ = L∗.
21. Sea Σ = {a, b, c} y sea L = {ci xcj | i, j ≥ 0}, donde x se restringe a
x = ε, x = aw o x = wb para alg´un w ∈ Σ. ¿Se cumple que L = Σ∗?
¿Es cierto que L2 = Σ∗ ?
22. Una cadena es pal´ındroma si se lee igual de izquierda a derecha que de
derecha a izquierda. Por ejemplo, la palabra reconocer es pal´ındroma y
tambi´en lo es la frase Ad´an no calla con nada. Dar una definici´on recursiva
de una cadena pal´ındroma. Obs´ervese que la cadena vac´ıa es pal´ındroma.

2