Universidad Nacional de Trujillo

Facultad de Ciencias Físicas y Matemáticas

Escuela de Informática

Actividad 9

Estudiantes:
Carlos Manuel Pelaez Yupanqui

Docente:
Celestino Medardo Quispe Varón
Ciclo:
IV

Trujillo - Perú
2023
Ejercicios

1)
Σ = {0, 1}
𝐿 = 𝑀 = ({𝑞0, 𝑞1, 𝑞𝑓}, {0, 1}, {0, 1, 𝐵}, δ, 𝑞0, 𝐵, {𝑞𝑓})
δ(𝑞0, 0) = (𝑞1, 1, 𝑅)
δ(𝑞1, 1) = (𝑞0, 0, 𝑅)
δ(𝑞1, 𝐵) = (𝑞1, 𝐵, 𝑅)

Implementación del autómata en JFLAP:

𝑛
El autómata reconoce al lenguaje (01) 0

2)
Σ = {0, 1}
𝐿 = 𝑀 = ({𝑞0, 𝑞1, 𝑞2, 𝑞𝑓}, {0, 1}, {0, 1, 𝐵}, δ, 𝑞0, 𝐵, {𝑞𝑓})
δ(𝑞0, 0) = (𝑞0, 1, 𝑅)
δ(𝑞0, 1) = (𝑞1, 1, 𝑅)
δ(𝑞0, 𝐵) = (𝑞1, 𝐵, 𝑅)
δ(𝑞1, 0) = (𝑞2, 0, 𝐿)
δ(𝑞1, 1) = (𝑞2, 1, 𝐿)
δ(𝑞1, 𝐵) = (𝑞2, 𝐵, 𝐿)
δ(𝑞2, 1) = (𝑞0, 0, 𝑅)
Esta MT cambia los ceros por unos y los unos por ceros.
Implementación de la MT en JFLAP:

Comprobación: al ingresar la cadena 0101100, se obtiene como resultado la cadena

1010011:
3)
Definir una M.T. que reconozca al sgte. lenguaje:
2 𝑛
{(𝑎𝑏 ) / 𝑛 > 0}
abb
abbabb
abbabbabb
Implementación de la MT en JFLAP:
Tras el testeo se comprueba que la MT diseñada reconoce al lenguaje especificado.

Ejercicios propuestos
2𝑖 𝑖
1. 𝐿 = {𝑎 𝑏 : 𝑖 ≥ 1}. Alfabeto = {𝑎, 𝑏}
 𝑖 2𝑖
2. 𝐿 = {𝑎 𝑏 : 𝑖 ≥ 1}. Alfabeto = {𝑎, 𝑏}
 𝑖 𝑗 𝑖+𝑗
3. 𝐿 = {𝑎 𝑏 𝑎 : 𝑖 ≥ 0, 𝑗 ≥ 1}. Alfabeto = {𝑎, 𝑏}
4. 𝐿 = {𝑤 ∈ Σ *: 𝑤 𝑡𝑖𝑒𝑛𝑒 𝑒𝑙 𝑚𝑖𝑠𝑚𝑜 𝑛ú𝑚𝑒𝑟𝑜 𝑑𝑒 𝑐𝑒𝑟𝑜𝑠 𝑞𝑢𝑒 𝑑𝑒 𝑢𝑛𝑜𝑠}. Alfabeto = {0, 1}
 𝑅
5. 𝐿 = {𝑤 ∈ Σ *: 𝑤 = 𝑤 }. Alfabeto = {0, 1}

Boceto usado para plantear el funcionamiento de la máquina:

101100
10110X0
1011XX00
101XXX001

MT implementada en JFLAP:
Al ingresar una cadena de ceros y unos:

Va armando la inversa, haciendo uso de símbolos auxiliares X, los cuales definen un límite
entre la cadena normal y la cadena inversa que se esta construyendo.:

Cadena inversa, pero con símbolos X que deben ser limbiados:

Finalmente se limpian los X, y se obtiene la cadena inversa ingresada:

𝑅
6. 𝐿 = {𝑤𝑤 : 𝑤 ∈ Σ *}. Alfabeto = {0, 1}
Este lenguaje solo admite palabras palíndromos, así que se diseñó la sgte. MT:
Tras ingresar una palabra palíndromo, la reconoce: