Universidad Nacional de Salta – Sede Regional Orán

Carrera: Licenciatura en Análisis de Sistemas (LAS)

Cátedra: Teoría de la Computación I (uno) 2do.año – 1er. cuatrimestre Año: 2023

TP01: Alfabetos, cadenas y lenguajes

SECCIÓN 1: Alfabetos y cadenas

1.1 Dar 3 ejemplos de lenguajes basados en el alfabeto 𝛴 = {𝑎, 𝑏, 𝑐}

1.2 Explicar la diferencia, si la hay, entre un lenguaje vacío y uno que contiene sólo la palabra vacía: .

1.3 Calcular la concatenación del lenguaje { , aba} con {a, bb,  }.

1.4 Obtener {a, bb }* . Dar los primeros 10 elementos.

1.5 Mostrar 3 elementos de 2 {a, b}*

1.6 Sea Σ = { a, b, c, d, e }.

i. ¿Cuánto valen |Σ2| y |Σ3|?

ii. ¿Cuántas cadenas de 𝛴* tienen una longitud menor o igual a cinco?

1.7 Para Σ = { w, x, y, z }, determine el número de cadenas en 𝛴* de longitud cinco:

i. Que comienzan con w. ii. Con precisamente dos w.

iii. Sin w. iv. Con un número par de w.

1.8 Si x 𝜖 𝛴* y |x3| = 36, ¿cuánto vale |x|?

1.9 Sea Σ = { 𝛽, x, y, z }, donde 𝛽 denota un espacio en blanco. de modo que x𝛽 ≠ x, 𝛽𝛽 ≠ 𝛽 y x𝛽y ≠ xy,
pero x𝜀y = xy. Calcule lo siguiente:

i. |𝜀| v. | 𝛽3 |
ii. | 𝜀𝜀 | vi. | x𝛽𝛽y |
iii. |𝛽| vii. | 𝛽𝜀 |
iv. | 𝛽𝛽 | viii. | 𝜀 10 |

1.10 Sea 𝛴 = {𝑎, 𝑏, 𝑐} y consideremos la cadena w = abbcc.

i. Escriba los prefijos de w.

ii. Escriba los prefijos propios de w.
iii. Escriba los sufijos de w.
iv. Escriba los sufijos propios de w.

1.11 Sea Σ = { v, w, x, y, z } y A = ⋃6𝑛=1 Σ𝑛 . ¿Cuántas cadenas en A tienen a xy como prefijo?

Página 1 de 6
Universidad Nacional de Salta – Sede Regional Orán
Carrera: Licenciatura en Análisis de Sistemas (LAS)
Cátedra: Teoría de la Computación I (uno) 2do.año – 1er. cuatrimestre Año: 2023

1.12 Sea Σ un alfabeto. Sea xi 𝜖 Σ para 1 ≤ i ≤ 100 (donde xi ≠ xj para cualquier 1 ≤ i < 𝑗 ≤ 100).
¿Cuántas subcadenas no vacías existen para la cadena s = x1 x2 . . . x100?

SECCIÓN 2: Definiciones básicas

2.1 Para el alfabeto Σ = { 0, 1 }, sean A, B, C ⊆ 𝛴* los siguientes lenguajes:

A = { 0, 1, 00, 11, 000, 111, 0000, 1111 }

B = { w ∈ 𝛴* | 2 ≤ | w | }
C = { w ∈ 𝛴* | 2 ≥ | w | }

Determine los siguientes subconjuntos (lenguajes) de 𝛴*.

i. A∩B ii. A–B iii. A△B

iv. A∩C v. B∩C vi. B ∪C
̅̅̅̅̅̅̅̅
vii. (A ∩ C) viii. 𝐴̅ ∩ 𝐶̅ ix. 𝐴̅ ∩ 𝐵

2.2 Sean 𝐴 = { 10, 11 }, 𝐵 = { 00, 1 } los lenguajes del alfabeto 𝛴 = { 0, 1 }. Determine lo siguiente:

i. AB ii. BA iii. A3 iv. B2

2.3 Si A, B, C y D son lenguajes sobre Σ, demuestre que:

i. (A ⊆ B ∧ C ⊆ D) ⟹ (AC ⊆ BD) ii. A∅=∅A=∅

2.4 Para Σ = { x, y, z }, sean A, B ⊆ 𝛴* dadas por A = { xy } y B = { 𝜀, x }. Determine:

i. AB ii. BA iii. B3 iv. B+ v. A*

2.5 Dado el alfabeto Σ, ¿existe algún lenguaje A ⊆ 𝛴* tal que A* = A?.

2.6 Para Σ = { 0, 1 }, determine si la cadena 00010 está en cada uno de los siguientes lenguajes (tomados
de 𝛴*).

i. { 0, 1 }* ii. { 000, 101 } . { 10, 11 }

iii. { 00 }. { 0 }* .{ 10 } iv. { 000 }* .{ 1 }* .{ 0 }
v. { 00 }* . { 10 }* vi. { 0 }* .{ 1 }* . { 0 }*

Página 2 de 6
Universidad Nacional de Salta – Sede Regional Orán
Carrera: Licenciatura en Análisis de Sistemas (LAS)
Cátedra: Teoría de la Computación I (uno) 2do.año – 1er. cuatrimestre Año: 2023

2.7 Para Σ = { 0, 1 }, describa las cadenas en A* para cada uno de los siguientes lenguajes A ⊆ 𝛴*:

i. { 01 } ii. { 000 }
iii. { 0, 010 } iv. { 1, 10 }

2.8 Para Σ = { 0, 1 }, determine todos los posibles lenguajes A, B ⊆ 𝛴* tales que AB = { 01, 000, 0101,
0111, 01000, 010111 }.

2.9 Para Σ = { x, y }, use los lenguajes finitos de 𝛴*, junto con las operaciones de conjuntos, para describir
el conjunto de cadenas de 𝛴* tales que

i. Contienen exactamente una ocurrencia de x

ii. Contienen exactamente dos ocurrencias de x
iii. Comienzan con x
iv. Terminan con yxy
v. Comienzan con x o terminan con yxy o ambas
vi. Comienzan con x o terminan con yxy pero no ambas

2.10 Sea el alfabeto Σ = { 0, 1 } y sea A ⊆ 𝛴* el lenguaje definido recursivamente de la manera siguiente:

i. Los símbolos “0, 1” están en A; ésta es la base de nuestra definición; y

ii. Para cualquier palabra x ∈ A, la palabra “0x1” también está en A; esto constituye el proceso
recursivo.
a. Determine cuatro palabras diferentes de A; dos de longitud 3 y dos de longitud 5.
b. Use la definición recursiva dada para mostrar que 0001111 está en A.
c. Explique por qué 00001111 no está en A.

2.11 Sea 𝛴 = {0, 1}. Sea A  𝛴*, tal que cada palabra de A contiene solamente una aparición del símbolo
0.

i. Muestre algunas palabras de A.

ii. Muestre algunas palabras que no pertenezcan a A.

iii. Defina al lenguaje A de manera recursiva.

iv. Muestre que w = 1011 A según iii).

Página 3 de 6
Universidad Nacional de Salta – Sede Regional Orán
Carrera: Licenciatura en Análisis de Sistemas (LAS)
Cátedra: Teoría de la Computación I (uno) 2do.año – 1er. cuatrimestre Año: 2023

2.12 Para el alfabeto Σ = { 0, 1 }, sea A ⊆ 𝛴* el lenguaje formado por todas las palabras que no contienen
la subcadena “10”. Entonces, las palabras como 𝜀, 0, 00, 000, 0000, 01, 001, 0011, 0111,1, 11, 111
están en A, pero ninguna de las palabras 10, 101, 100, 010, 0010 o 11110 están en el lenguaje.

i. Dé una definición recursiva del lenguaje A.

ii. Use la definición de la parte (i) para determinar si 00111 está en A.

2.13 Para Σ = { ( , ) }, el alfabeto que contiene a los paréntesis izquierdo y derecho. Sea A ⊆ 𝛴* que consta
de todas las cadenas no vacías de paréntesis que son gramaticalmente correctas como expresiones
algebraicas, por ej, las cadenas: (()), (( () )() () ), etc. El lenguaje A puede definirse de manera
recursiva como:

i) ( ) está en A, y
ii) Para cualesquiera x,y  A, tenemos que
1) xy  A,
2) (x)  A.

Use la definición recursiva del lenguaje A para verificar que cada una de las siguientes cadenas está
en el lenguaje A.

i. (( )) ( ) ii. (( )) ( ) ( ) iii. ( ) (( ) ( ))

2.14 Proporcione una definición recursiva para cada uno de los siguientes lenguajes A ⊆ 𝛴*,

donde Σ = { 0, 1 }.

i. x ∈ A si (y sólo si) el número de ceros de x es par.

ii. x A si el número de ceros de x es igual al número de unos de x.
iii. x ∈ A si (y sólo si) todos los unos de x preceden a todos los ceros.

2.15 Sea A = {, a} obtener An para n = 0, 1, 2, 3.

2.16 Sea A = {} obtener An para n arbitrario.

2.17 Sean A = {, ab} y B = {cd} , ¿Cuántas cadenas hay en AnB para n arbitrario?.

2.18 Sean A = {a} y B = {b}

i. Obtener AnB para n arbitrario.

ii. Obtener ABn para n arbitrario.
iii. Obtener (AB)n para n arbitrario.

Página 4 de 6
Universidad Nacional de Salta – Sede Regional Orán
Carrera: Licenciatura en Análisis de Sistemas (LAS)
Cátedra: Teoría de la Computación I (uno) 2do.año – 1er. cuatrimestre Año: 2023

2.19 Bajo qué condiciones es A* = A+ ?

2.20 Obsérvese que para todo lenguaje A se tiene que la cadena  pertenece a A*. ¿Cuándo la cadena 
pertenece a A+?

2.21 Probar que {}* = {} = {}+

2.22 Se obtuvo que A* = Ao U A+ y que A* ={} U A+. Cabría esperar que: A+ = A*- {}

i. Probar que en general esto no es cierto.

ii. Cuándo se cumpliría A+ = A*- {}?

2.23 Obtener los lenguajes A, B, C tales que A∙(B - C) ≠ A∙B - A∙C

2.24 Dados A, B, C lenguajes sobre 𝛴, demostrar:

i. 𝐴 ∙ (𝐵 U 𝐶) = 𝐴 ∙ 𝐵 U A∙C
ii. (B U C)∙A = B∙A U C∙A

2.25 Dados A, B lenguajes sobre 𝛴, demostrar:

i. (A U B) R = AR U BR
ii. (A  B) R = AR  BR

------------------------------------------------------------------------------------------------------------------------------------------

EJERCICIOS COMPLEMENTARIOS:

a. Muestre que (ab3)3 ≠ ((ab)3)3

b. Describa por comprensión L = { , b, bb, bbb, bbbb, …}

c. Describa mediante una frase el lenguaje del punto anterior.

d. Sea el siguiente Lenguaje Formal descripto por comprensión como L = {10n1 / 1 n  4}.

d.1. Descríbalo mediante una frase.

d.2. Descríbalo por extensión.

e. Sea el lenguaje L = {a2n+1 / 0  n  200}.

e.1. Descríbalo mediante una frase.

e.2. Describa por comprensión y mediante una frase el lenguaje que se obtiene al concatenar cualquier
palara de L.

Página 5 de 6
Universidad Nacional de Salta – Sede Regional Orán
Carrera: Licenciatura en Análisis de Sistemas (LAS)
Cátedra: Teoría de la Computación I (uno) 2do.año – 1er. cuatrimestre Año: 2023

f. Sea el lenguaje L = {abna / n  1}.

f.1. Escriba las tres palabras de menor longitud.
f.2. Describa este lenguaje mediante una frase.

Página 6 de 6