Este documento presenta tres ejercicios sobre teoría de autómatas y lenguajes formales. El primer ejercicio pide definir uniones y concatenaciones de lenguajes dados sus alfabetos. El segundo ejercicio pide obtener el lenguaje regular asociado a una expresión regular dada. El tercer ejercicio pide obtener cuatro cadenas palíndromas sobre un alfabeto binario.

1. Universidad Fermín Toro
Departamento de Computación
Teoría de autómatas y Lenguajes Formales
Ejercicios
1. Dados los siguientes alfabetos:
 ∑ 𝟏 = { 𝟏𝟏, 𝟐𝟐, 𝟑𝟑, 𝟒𝟒, 𝟓𝟓, 𝟔𝟔, 𝟕𝟕, 𝟖𝟖}
 ∑ 𝟐 = { 𝒂𝒂, 𝒃𝒃, 𝒄𝒄, 𝒅𝒅, 𝒆𝒆, 𝒇𝒇, 𝒈𝒈}
y los lenguajes:
 𝑳 𝟏 = ( ∑ 𝟏
) = { 𝒙 𝒕𝒂𝒍 𝒒𝒖𝒆 𝒙 ∈ ∑ 𝟏
}
 𝑳 𝟐 = ( ∑ 𝟐
) = { 𝒙 𝒕𝒂𝒍 𝒒𝒖𝒆 𝒙 ∈ ∑ 𝟐
}
Definir los siguientes lenguajes
- 𝑳 𝟏 ∪ 𝑳 𝟐
- 𝑳 𝟏 . 𝑳 𝟐
- (𝑳 𝟏. 𝑳 𝟐 ) 𝟐
2. Para la expresión regular dada a continuación, obtenga el lenguaje regular
asociado de acuerdo a los criterios suministrados por el profesor a tal fin.
Recuerde especificar la regla utilizada en cada paso.
- 𝟎(𝟎 + 𝟏)∗
3. Se tiene el lenguaje de todas las palabras palíndromas, sobre él ∑ = (𝟎, 𝟏),
obtenga por lo menos cuatro cadenas de este lenguaje. Recuerda que una
palabra paliándome es aquella que se lee igual hacia adelante, que hacia
atrás.
Link del video: http://youtu.be/yprsAOfFlG0