Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Estudiantes
Tutor
Alkigner Cuesta
EJERCICIO A
TRABAJAR
5 – TUPLA (𝑲, 𝚺, 𝜹, 𝑺, 𝑭)
𝑴 = {𝑞0 , 𝑞1 , 𝑞2 , 𝑞3 , 𝑞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
𝑞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
𝑄 = {𝑞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 = 𝑎∗ (𝑏(𝑏 ∗ (𝑏(𝑏)∗ )))