Práctica 2

Autómatas, Gramáticas y Lenguajes

2022-2023
Introducción
Esta práctica tendrá una ponderación del 15 % de la nota definitiva de la
asignatura, siempre que se obtenga una nota superior o igual a 5 puntos en la
prueba presencial.
La práctica sólo podrá entregarse utilizando la aplicación de Tareas de los
cursos virtuales. La entrega de la misma será un archivo pdf nombrado como
“Apellido1Apellido2Nombre(DNI).pdf”. Cualquier práctica que no se entregue
siguiendo estas instrucciones será considerada “NO APTA” y evaluada con una
nota de 0 puntos.
Debemos recordar al alumnado que las prácticas son personales, por lo tanto,
está completamente prohibido la entrega la misma práctica por varios alumnos.
En el caso de detectarse dos o más prácticas iguales, ambas prácticas serán
consideradas “NO APTA” y evaluadas con una nota de 0 puntos.
Cada ejercicio se puntúa con hasta 2 puntos y se evaluará de acuerdo a las
soluciones aportadas por el equipo docente.

Ejercicio 1
Dado el alfabeto Σ = {0, 1}, sea L el lenguaje representado por la expresión
regular (01)∗ .
1. 1 puntos Definir un lenguaje L1 independiente del contexto no regular que
contengan todas las cadenas que resulten de reordenar las cadenas de L. Por
ejemplo, si 0101 ∈ L entonces las siguientes cadenas pertenecerán a L1 :
0011, 0110, 1100, 1001, 1010, 0101. (NOTA: para resolver este ejercicio
será útil pensar en las condiciones que cumplen las cadenas que pertenecen
a L y a L1 mirando los ejemplos proporcionados en el enunciado).
2. 1 puntos Definir un autómata a pila que reconozca L1 .

Ejercicio 2
Dado el alfabeto Σ = {a, b, c}, sean L1 y L2 los lenguajes definidos de la
siguiente manera:
L1 = {an b2n cm : n, m ≥ 0}
L2 = {an bm c2m : n, m ≥ 0}
1. 0.5 puntos ¿Qué tipo de lenguajes son L1 y L2 ? Razonar la respuesta.
2. 0.5 puntos ¿Qué tipo de lenguaje es L1 ∩ L2 ? Razonar la respuesta.
3. 1 punto Definir un autómata a pila que acepte el lenguaje L1 ∪ L2 .

1
Ejercicio 3
Dado el alfabeto Σ = {w, x, y, z}, sea L el lenguaje definido de la siguiente
manera:

L = {w r xs y t z u | r, s, t, u > 0 ; r + t = s + u}

1. 0.5 puntos ¿Es L un lenguaje regular? Razonar la respuesta.

2. 0.5 puntos Indicar cinco cadenas que pertenezcan a L y cinco cadenas que
no pertenezcan a L.

3. 1 punto Definir un autómata a pila que acepte el lenguaje L.

Ejercicio 4
Dado el alfabeto Σ = {x, y}, sea L el lenguaje definido de la siguiente manera:

L = {xm y n | m, n > 0, m es par y n es impar}

1. 0,5 puntos Indicar si L es regular o independiente del contexto no regular.

Razonar la respuesta.

2. 1,5 puntos Teniendo en cuenta el apartado anterior definir un autómata

(finito o a pila) que reconozca el lenguaje L.

Ejercicio 5
Dado el alfabeto Σ = {a, b}, sea L el lenguaje formado por las cadenas que
tienen el doble número de b’s que de a’s (Nota: se asume que la cadena vacía
pertenece a L)

1. 0,5 puntos Indicar si L es regular, independiente del contexto no regular

o recursivamente enumerable no independiente del contexto. Razonar la
respuesta y dar cinco ejemplos de cadenas que pertenecen a L y cinco
ejemplos de cadenas que no pertenecen a L.

2. 0,5 puntos Definir un lenguaje L1 que sea independiente del contexto no

regular que cumpla que L1 ⊂ L.

3. 1 puntos Teniendo en cuenta el apartado anterior definir el autómata a pila

que reconozca el lenguaje L1 .