ACTIVIDAD INDIVIDUAL UNIDAD 1

FASE 1 – EJERCICIOS DE LENGUAJES Y EXPRESIONES REGULARES

ANDRÉS RICARDO PAREDES

DIANA CAROLINA RUIZ
WAGNER JAVIER OLDENBURG
DAIRO JOSE ORTEGA FONSECA COD:88.257.790
GRUPO: 301405_44

Presentado a:
LUIS ERNESTO BONILLA ORDUZ
Tutor

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD

ESCUELA DE CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERÍA
AUTOMATAS Y LENGUAJES FORMALES
MARZO 2018
INTRODUCCIÓN
OBJETIVOS
 DESARROLLO ACTIVIDAD EJERCICIO 1

1. Teniendo en cuenta la siguiente tabla de transacciones cree el autómata y realice

el proceso de minimización paso a paso.

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

𝛿 = (𝑞1 , 𝑏) = 𝑞5 𝛿 = (𝑞2 , 𝑎) = 𝑞6 𝛿 = (𝑞2 , 𝑏) = 𝑞4

𝛿 = (𝑞3 , 𝑎) = 𝑞3 𝛿 = (𝑞3 , 𝑏) = 𝑞5 𝛿 = (𝑞4 , 𝑎) = 𝑞6

𝛿 = (𝑞4 , 𝑏) = 𝑞4 𝛿 = (𝑞5 , 𝑎) = 𝑞6 𝛿 = (𝑞5 , 𝑏) = 𝑞4
𝛿 = (𝑞6 , 𝑎) = 𝑞3 𝛿 = (𝑞6 , 𝑏) = 𝑞5
Paso 3: Hallar los conjuntos para minimizar
Se identificarán:
 estados aceptadores {𝑞6 }
 No aceptadores {𝑅𝑒𝑠𝑡𝑜 𝑑𝑒 𝐸𝑠𝑡𝑎𝑑𝑜𝑠}
Al primer conjunto se llamará X
Al segundo conjunto se llamará Y
 𝑋 = {𝑞6 }
 𝑌 = {𝑞0 , 𝑞1 , 𝑞2 , 𝑞3 , 𝑞4 , 𝑞5 }
En una tabla de transición se verifica 𝑞6 en transición a y b y de acuerdo a lo que arroje el
resultado se establecerá en la tabla de valores. En este caso se toma el valor de estado final y
se inicia con la minimización por conjuntos. Entonces, q6 con transición a sería q3 y q3 está en
el conjunto Y, y q6 con transición b sería q5 que estaría en el conjunto Y, por ésta razón se
establece Y Y
A B
𝑞6 Y Y

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

De esta manera se crean dos conjuntos que los llamaremos M y Z

𝑀 = {𝑞0 , 𝑞1 , 𝑞3 , 𝑞6 }
𝑍 = {𝑞2 , 𝑞4 , 𝑞5 }
Paso 5: Se separarán los resultados equivalentes y no equivalentes según sea el caso y se
generan nuevos conjuntos
𝑋 = {𝑞6 }
𝑀 = {𝑞0 , 𝑞1 , 𝑞3 , 𝑞6 }
𝑍 = {𝑞2 , 𝑞4 , 𝑞5 }

Paso 6: Se crea tabla para validar conjuntos

M A B
𝑞0 M Z

𝑞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
Paso 7: Validar cada conjunto en transiciones a, b
Conjuntos a b
De acuerdo a la validación de
M M Z los conjuntos y del resultado
final, se obtiene la
Z X Z minimización correspondiente
X# M Z del autómata.

Verificando la minimización en el simulador JFLAP

Se obtiene el mismo resultado que el propuesto por conjuntos.

Para el autómata ya minimizado

1. Realice la notación formal (Caracterización) matemática del autómata ya minimizado
Identificar la Quíntupla { 𝑘, ∑ , 𝛿, 𝑠, 𝐹 }
 𝑀 = {𝑀(𝑞0 ), 𝑋(𝑞1 ), 𝑍(𝑞2 )}, {𝑎, 𝑏}
 𝛿 = 𝑞0 , {𝑋(𝑞2 )}
𝑘 = [𝑀(𝑞0 ), 𝑋(𝑞1 ), 𝑍(𝑞2 )] (𝐸𝑠𝑡𝑎𝑑𝑜𝑠)

∑ = {𝑎, 𝑏} (𝐴𝑙𝑓𝑎𝑏𝑒𝑡𝑜)

𝑠 = 𝑀(𝑞0 ) (𝐸𝑠𝑡𝑎𝑑𝑜 𝐼𝑛𝑖𝑐𝑖𝑎𝑙)

𝐹 = {𝑋(𝑞2 )} (𝐸𝑠𝑡𝑎𝑑𝑜 𝐹𝑖𝑛𝑎𝑙)

2. Plasme la Gramática del autómata

3. Identifique el lenguaje que reconoce

El lenguaje que se distingue empieza con la letra “a” o/y
”b” 𝐿 = {𝐴 𝜖{𝑎, 𝑏} ∗ | A= { “a” “b”}.

La expresión regular para el autómata es:

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}

3. Justifique y asocio o evidencie si el diseño es un APND o un APD

Al verificar se obtiene un tipo de cadena, ya que se ce que es igual la cantidad de 0 a

emparejar con los 1 podemos decir que es un Autómata de pila Determinista.

4. Grafíquelo en JFLAP y realice el “Traceback” para las transiciones. (Las columnas

para un AP son: El estado en que se encuentra el autómata, lo que falta por leer de
la palabra de entrada, y el contenido de la pila).

5. Plasme las imágenes del recorrido de ese Traceback para cada movimiento en el
documento. (Se debe apoyar en JFLAP) (Documente el proceso).
 CONCLUSIONES

REFERENCIAS BIBLIOGRÁFICAS