Fase 3 - Colaborativo

Estudiantes

Danna Shirley Cepeda

Miguel Angel Cano

Tutor
Alkigner Cuesta

Universidad Nacional Abierta y a Distancia – UNAD

Autómatas y Lenguajes Modelados
301405_52
Octubre 2019
 ACTIVIDAD COLABORATIVA

EJERCICIO A
TRABAJAR

5 – TUPLA (𝑲, 𝚺, 𝜹, 𝑺, 𝑭)

𝑴 = {𝑞0 , 𝑞1 , 𝑞2 , 𝑞3 , 𝑞4 , 𝑞5 }, {𝑎, 𝑏}

𝜹 = {𝑞0 , 𝑞4 , 𝑞5 } 𝐸𝑠𝑡𝑎𝑑𝑜 𝑖𝑛𝑖𝑐𝑖𝑎𝑙 𝑦 𝑑𝑒 𝑎𝑐𝑒𝑝𝑡𝑎𝑐𝑖𝑜𝑛

𝐾 = {𝑞0 , 𝑞1 , 𝑞2 , 𝑞3 , 𝑞4 , 𝑞5 }

Σ = {𝑎, 𝑏}

Procedimiento 𝑆 = {𝑞0 }
de
minimización 𝐹 = {𝑞3 , 𝑞4 }
 TRANSICIONES
𝜹 = {𝑞0 , 𝑎} = 𝑞1
𝜹 = {𝑞0 , 𝑏} = 𝑞5
𝜹 = {𝑞1 , 𝑎} = 𝑞4
𝜹 = {𝑞2 , 𝑎} = 𝑞3
𝜹 = {𝑞2 , 𝑏} = 𝑞0
𝜹 = {𝑞3 , 𝑎} = 𝑞2
𝜹 = {𝑞3 , 𝑏} = 𝑞4
𝜹 = {𝑞4 , 𝑏} = 𝑞1
𝜹 = {𝑞5 , 𝑎} = 𝑞4
𝜹 = {𝑞5 , 𝑏} = 𝑞5

Identificar los elementos de transiciones del

autómata
𝑥 = {𝑞3 , 𝑞4 } 𝐴𝐶𝐸𝑃𝑇𝐴𝐷𝑂𝑅
𝑦 = {𝑞0 , 𝑞1 , 𝑞2 , 𝑞5 } 𝑁𝑂 𝐴𝐶𝐸𝑃𝑇𝐴𝐷𝑂𝑅
a b

𝑞3 y x
𝑞4 y
𝑞0 y y
𝑞1 x
𝑞2 y x
𝑞5 x y

Equivalencias
𝑥 = {𝑞3 } 𝐴𝐶𝐸𝑃𝑇𝐴𝐷𝑂𝑅
𝑀 = {𝑞2 }
𝐷 = {𝑞0 }
𝐶 = {𝑞5 }
Resultado del
Autómata
minimizado

Fórmula para la anotación formal de un autómata

𝐴 = (𝑄, Σ, 𝛿, 𝑞0 , 𝐹)

𝑄 = {𝑞0 , 𝑞1 , 𝑞2 , 𝑞3 }
𝑞0 = 𝐸𝑆𝑇𝐴𝐷𝑂 𝐼𝑁𝐼𝐶𝐼𝐴𝐿
Notación Σ = {𝑎, 𝑏}
formal F = {𝑞3 }
𝛿 = 𝐹𝑢𝑛𝑐𝑖𝑜𝑛 𝑑𝑒 𝑡𝑟𝑎𝑛𝑠𝑖𝑐𝑖𝑜𝑛
𝛿 = (𝑞0 , 𝑎) = 𝑞1
𝛿 = (𝑞0 , 𝑏) = 𝑞2
𝛿 = (𝑞1 , 𝑎) = 𝑞3
𝛿 = (𝑞2 , 𝑎) = 𝑞3
𝛿 = (𝑞2 , 𝑏) = 𝑞2
𝛿 = (𝑞3 , 𝑏) = 𝑞1
 Lenguaje regular del autómata minimizado.

𝑞0 = 𝑎𝑞1 + 𝑏𝑞2
𝑞1 = 𝑎𝑞3
𝑞2 = 𝑎𝑞3 + 𝑏𝑞2
𝑞3 = 𝑏𝑞1 + 𝜆

𝑞3 = 𝑏𝑞1 + 𝜆
𝑞3 = 𝑏 ∗

𝑞2 = 𝑎𝑞3 + 𝑏𝑞2
𝑞2 = 𝑎∗ + 𝑏𝑞2
Lenguaje 𝑞2 = 𝑎∗ + (𝑏(𝑏)∗ )
Regular
𝑞1 = 𝑎𝑞3
𝑞1 = 𝑎∗

𝑞0 = 𝑎𝑞1 + 𝑏𝑞2
𝑞0 = 𝑎∗ + (𝑏𝑞2 )
𝑞0 = 𝑎∗ (𝑏(𝑏 ∗ (𝑏(𝑏)∗ )))

Finalmente, la expresión regular es la

siguiente:

𝑞0 = 𝑎∗ (𝑏(𝑏 ∗ (𝑏(𝑏)∗ )))

Se puede definir o caracterizar una gramática

regular como:
Un cuádruplo (𝑽, 𝚺, 𝑺, 𝑹) en donde:

𝑽 = 𝑹𝒆𝒑𝒓𝒆𝒔𝒆𝒏𝒕𝒂 𝒆𝒍 𝒂𝒍𝒇𝒂𝒃𝒆𝒕𝒐 𝒅𝒆 𝒗𝒂𝒓𝒊𝒂𝒃𝒍𝒆𝒔

𝚺 = 𝑹𝒆𝒑𝒓𝒆𝒔𝒆𝒏𝒕𝒂 𝒆𝒍 𝒂𝒍𝒇𝒂𝒃𝒆𝒕𝒐 𝒅𝒆 𝒄𝒐𝒏𝒔𝒕𝒂𝒏𝒕𝒆𝒔
Gramática del 𝑺 = 𝑹𝒆𝒑𝒓𝒆𝒔𝒆𝒏𝒕𝒂 𝒆𝒍 𝒔𝒊𝒎𝒃𝒐𝒍𝒐 𝒊𝒏𝒊𝒄𝒊𝒂𝒍 𝒚 𝒆𝒔 𝒖𝒏 𝒆𝒍𝒆𝒎𝒆𝒏𝒕𝒐 𝒅𝒆 𝑽 (𝑺)
autómata 𝑹 = 𝑹𝒆𝒑𝒓𝒆𝒔𝒆𝒏𝒕𝒂 𝒆𝒍 𝒄𝒐𝒏𝒋𝒖𝒏𝒕𝒐 𝒅𝒆 𝒓𝒆𝒈𝒍𝒂𝒔

Esta gramática es lineal por la derecha, todas las

producciones tienen la forma
𝑨 → 𝒂𝑩 𝒐 𝒃𝒊𝒆𝒏 𝑨 → 𝒂
𝑞0 → 𝑎1
𝑞1 → 𝑎2
𝑞2 → 𝑏5 + 𝑎2
𝑞3 → 𝑏1 + 𝑎2
 Referencia Bibliográfica

Millán, J., Antonio J. (2009). Compiladores y procesadores de

lenguajes. (pp. 73 - 126). Recuperado
de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/detail.a
ction?docID=10844351
González, A. [Ángela] (2017, mayo 16). Minimización de un
autómata. [Archivo de video]. Recuperado
de https://www.youtube.com/watch?v=eOynYG8Ibk0&t=9s
Carrasco, R., Calera, R., Forcada, M. (2016). Teoría De
Lenguajes, Gramáticas Y Autómatas Para Informáticos. (pp. 119
- 127). Recuperado
de http://bibliotecavirtual.unad.edu.co:2051/login.aspx?direct=t
rue&db=nlebk&AN=318032&lang=es&site=edslive&ebv=EB&ppi
d=pp_Cover