Está en la página 1de 5

FASE 1:

DEBATIR Y DESARROLLAR LOS EJERCICIOS PLANTEADOS SOBRE LENGUAJES Y


EXPRESIONES REGULARES

INTEGRANTES:
TAHYLOR MOSQUERA CASTRO: 71257231
XXXX XXXX XXX
GRUPO: 301405_41

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
ABRIL 2018
Ejercicio 2

Diseñe un AP que lea el siguiente lenguaje L = {(0n1m: n>0, m>0} (con pila vacía).

1. Describa el autómata en notación matemática.

La descripción matemática utilizando la l respectiva notación matemática es la siguiente:

Formalmente, un autómata con pila puede ser descrito como una séptima tupla.
𝑀 = ( 𝑆, Σ , Γ, 𝛿, 𝑠, 𝑍, 𝐹 )

𝑆 = 𝐸𝑠 𝑢𝑛 𝑐𝑜𝑛𝑗𝑢𝑛𝑡𝑜 𝑓𝑖𝑛𝑖𝑡𝑜 𝑑𝑒 𝑒𝑠𝑡𝑎𝑑𝑜


Σ , Γ = 𝑆𝑜𝑛 𝑎𝑙𝑓𝑎𝑏𝑒𝑡𝑜𝑠 𝑆𝑖𝑚𝑏𝑜𝑙𝑜 𝑑𝑒 𝑒𝑛𝑡𝑟𝑎𝑑𝑎 𝑦 𝑑𝑒 𝑙𝑎 𝑝𝑖𝑙𝑎 𝑟𝑒𝑠𝑝𝑒𝑐𝑡𝑖𝑣𝑎𝑚𝑒𝑛𝑡𝑒
𝛿: 𝑆 𝑥 ( Σ ∪ {ℰ}) 𝑥 Γ ⟶ P(S x Γ ∗ ) 𝑇𝑟𝑎𝑛𝑠𝑖𝑐𝑖𝑜𝑛𝑒𝑠 𝑑𝑒 𝑒𝑠𝑡𝑎𝑑𝑜𝑠 𝑦 𝑚𝑎𝑛𝑒𝑗𝑜 𝑑𝑒 𝑙𝑎 𝑃𝑖𝑙𝑎
s ∈ S = 𝐸𝑠 𝑒𝑙 𝑒𝑠𝑡𝑎𝑑𝑜 𝐼𝑛𝑖𝑐𝑖𝑎𝑙
Z ∈ Γ = Es el simbolo inicial de la pila
𝐹 ⊆ 𝑆 = 𝐸𝑠 𝑢𝑛 𝑐𝑜𝑛𝑗𝑢𝑛𝑡𝑜 𝑑𝑒 𝑒𝑠𝑡𝑎𝑑𝑜𝑠 𝑑𝑒 𝑎𝑐𝑒𝑝𝑡𝑎𝑐𝑖ó𝑛 𝑜 𝑓𝑖𝑛𝑎𝑙𝑒𝑠

Respecto al autómata de Pila (AP) desarrollado

𝑆 = 𝑞0 , 𝑞1 , 𝑞2 , 𝑞3
Σ , Γ = { 0, 1 }
𝛿: 𝑇𝑟𝑎𝑛𝑠𝑖𝑐𝑖𝑜𝑛𝑒𝑠 𝑦 𝑚𝑎𝑛𝑒𝑗𝑜 𝑑𝑒 𝑙𝑎 𝑝𝑖𝑙𝑎 𝑟𝑒𝑠𝑝𝑒𝑐𝑡𝑜 𝑎𝑙 Σ , Γ
𝑠 = 𝑞0
𝑍 = 𝑠𝑖𝑚𝑏𝑜𝑙𝑜 𝑖𝑛𝑖𝑐𝑖𝑎𝑙 𝑑𝑒 𝑙𝑎 𝑝𝑖𝑙𝑎
𝐹 = 𝑞2
2. Determine el lenguaje que reconoce el AP.

Se describe el proceso de aceptación o rechazo de una palabra de Σ* mediante una sucesión


de movimientos. Puede reconocer palabras del alfabeto de entrada de dos formas distintas:

- por estado final: LF(AP) = {x | (q0, x, A0) ├* ((0,1), λ, X), con (0,1) ∈ F, X ∈ Γ*}
- por vaciado de pila: LV(AP) = { x | (q0, x, A0) ├* ((0,1), λ, λ) con (0,1) ∈ Q}

LF(AP) y LV(AP) representan a los lenguajes reconocidos por el autómata AP por estado final
y por vaciado de pila respectivamente.

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

A diferencia de un autómata finito o una máquina de Turing, la definición básica de un autómata


con pila es de naturaleza no determinista, aunque se puede representar un autómata de pila
determinista. El diseño desarrollado es un APND debido a que en las transiciones q1 y q3 hacia
el estado q2 se acepta la pila como vacía, y esta es una característica propia de los APND.

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).

Cadena a procesar por el AP diseñado: 1011100

Iteración 1 empezamos el proceso en el estado de inicio, básicamente el autómata toma el


primer valor de la cadena, en este caso es 1. El autómata tiene en la pila el valor Z que es el
inicial y está vacía.

Entra el primer valor de la cadena que es 1 y se almacena en la pila


Luego pasa al segundo valor de la cadena que es 0 entra a la pila y se almacena como
segundo valor de la pila.

Luego pasa el tercer valor de la cadena que es 1 y se remplaza el valor de la pila que está en
cola que es cero por vacío. Y en la pila solo queda el valor de 1 esperando en cola.

Pasa el cuarto valor de la cadena que corresponde a 1 y vemos que inmediatamente el valor
que está en cola en la pila se remplaza por un vacío. Solo vemos que queda el valor inicial de
la pila, Z.

Se lee el quinto valor de la cadena y se almacena en la pila debida que estaba con un valor
vacío y el valor de la cadena se almacena junto al valor de la pila

Se hace lectura del ultimo valor de la pila y se determina si el valor de la pila que esta en cola
es cero se remplaza este valor por un vacio y la pila se queda con valor inicial, Z.

Se acaba los valores de la cadena y se determina que el valor de la pila es el inicial Z y se


acepta la cadena en el estado final que es q0 para terminar el proceso de lectura y
procesamiento de la cadena.