Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Preconsolidado 301405 44
Preconsolidado 301405 44
Presentado a:
LUIS ERNESTO BONILLA ORDUZ
Tutor
Minimización
Paso 1: Identificar qué tipo de autómata es el que se presenta inicialmente: Es un autómata
Finito Determinista
Paso 2: Identificar la Quíntupla { 𝑘, ∑ , 𝛿, 𝑠, 𝐹 }
𝑀 = {𝑞1 , 𝑞2 , 𝑞3 , 𝑞4 , 𝑞5 , 𝑞6 }, {𝑎, 𝑏}
𝛿 = 𝑞0 , {𝑞6}
𝑘 = [𝑞0 , 𝑞1 , 𝑞2 , 𝑞3 , 𝑞4 , 𝑞5 , 𝑞6 ] (𝐸𝑠𝑡𝑎𝑑𝑜𝑠)
∑ = {𝑎, 𝑏} (𝐴𝑙𝑓𝑎𝑏𝑒𝑡𝑜)
𝑠 = 𝑞0 (𝐸𝑠𝑡𝑎𝑑𝑜 𝐼𝑛𝑖𝑐𝑖𝑎𝑙)
𝐹 = {𝑞6 } (𝐸𝑠𝑡𝑎𝑑𝑜 𝐹𝑖𝑛𝑎𝑙)
𝛿 = (𝑞0 , 𝑎) = 𝑞1 𝛿 = (𝑞0 , 𝑏) = 𝑞2 𝛿 = (𝑞1 , 𝑎) = 𝑞3
Paso 4: se verifican todos los estados con transiciones a,b de acuerdo a los conjuntos
previamente creados.
a b
𝑞0 Y Y
𝑞1 Y Y
𝑞2 X Y
Son Equivalentes 𝑞3 Y Y Son Equivalentes
𝑞4 X Y
𝑞5 X Y
𝑞6 Y Y
𝑞1 M Z
𝑞0 , 𝑞1 , 𝑞3 , 𝑞6 𝑆𝑜𝑛 𝐸𝑞𝑢𝑖𝑣𝑎𝑙𝑒𝑛𝑡𝑒𝑠
𝑞3 M Z
𝑞6 M Z
Z A B
𝑞2 X Z
𝑞2 , 𝑞4 , 𝑞5 𝑆𝑜𝑛 𝐸𝑞𝑢𝑖𝑣𝑎𝑙𝑒𝑛𝑡𝑒𝑠
𝑞4 X Z
𝑞5 X Z
X A B
𝑞6 𝐸𝑠 𝐸𝑞𝑢𝑖𝑣𝑎𝑙𝑒𝑛𝑡𝑒
𝑞6 M Z
∑ = {𝑎, 𝑏} (𝐴𝑙𝑓𝑎𝑏𝑒𝑡𝑜)
A→ ʎ
B → bB
S → bB
S → aS
B → aA
A → aS
A → bB
(a*bb*a(bb*a)*a)*a*bb*a(bb*a)*
4. Identifique su gramática (de forma manual) por la derecha y caracterícela. Debe
incluir el diagrama de estados con los componentes de la gramática asociados a
las variables y a las constantes.
Se utilizarán los estados de la siguiente manera:
Para 𝑀(𝑞0 ) Se asignará la letra S
Para X(𝑞1 ) Se asignará la letra A
Para z(𝑞2 ) Se asignara la letra B
Entonces la gramática sería de la siguiente manera
A λ
S aS
B bB
A bB
B aA
S bB
A aS
2. Ejercicio 2:
Diseñe un AP que lea el siguiente lenguaje L = {(0n+1m: n>0, m>0} (con pila vacía).
1. Describa el autómata en notación matemática
𝐴𝑃 = (𝑄, Σ, Γ, 𝛿, 𝑞0 , 𝑧0 , 𝐹)
𝑄 = {𝑞0 , 𝑞1 }Conjunto de Estados
Σ = {0,1} Alfabeto de Entrada
Γ = {𝑧0 , 𝜆, 𝑎} Alfabeto de Pila
𝑞0 Estado inicial
𝑧0 Símbolo inicial de la Pila
𝐹 = {𝑞1 } Conjunto de Estados Finales
𝛿 Regla Transiciones
Método:
𝛿(𝑞0 , 0, 𝜆) = (𝑞0 , 𝑎)
𝛿(𝑞0 , 1, 𝑎) = (𝑞1 , 𝜆)
𝛿(𝑞1 , 1, 𝜆) = (𝑞1 , 𝑎)
𝛿(𝑞1 , 1, 𝑎) = (𝑞1 , 𝜆)
2. Determine el lenguaje que reconoce el AP.
𝐿 = {(0𝑛1𝑚: 𝑛 > 0, 𝑚 > 0}
CONCLUSIONES
REFERENCIAS BIBLIOGRÁFICAS