Fase 3 - Modelar problemas de Lenguajes Independientes del Contexto

Presentado por:
Raul Andrés Jiménez
Código: 80220672
Cel: 3229444753
Grupo 301495_16
Skype: Majive2006@hotmail.com

Presentado a:
Rolando Fabian Junco

Universidad Nacional Abierta y a Distancia UNAD

Autómatas y Lenguajes Formales
Programa Ingeniería de Sistemas
CEAD JAG
Marzo de 2020
 EJERCICIOS DE LA FASE 2
ACTIVIDAD INDIVIDUAL

De acuerdo al último dígito de su cédula o tarjeta de identidad, identifique el ejercicio

asignado en la siguiente tabla:

Último dígito Ejercicio

de la Cédula o
TI
1y9 Ejercicio 1
2y8 Ejercicio 2
3y7 Ejercicio 3
4y6 Ejercicio 4
5y0 Ejercicio 5

ACTIVIDAD 1: Autómatas de Pila

1. Ejercicio 1 2. Ejercicio 2

3. Ejercicio 3 4. Ejercicio 4
5. Ejercicio 5
 El diseño solicitado corresponde al diligenciamiento de la siguiente tabla:
EJERCICIO A Registre aquí el Ejercicio a trabajar. Por favor agregue la imagen
TRABAJAR

Caracterización En este espacio se realiza:

del autómata a
pila
Mediante la definición formal explicar las características del autómata.

- Tenemos un autómata finito determinista a pila, ya que con la misma cadena de

entrada solo lleva a un mismo estado para las 6 diferentes entradas en los dos
Estados.
- Σ:es el alfabeto de entrada
- Γ: es el alfabeto de la pila
- Q: es un conjunto finito de estados
- A0 ∈ Γ: es un símbolo inicial de la pila
- q0 ∈ Q: el estado inicial del autómata
- F ⊆ Q: es el conjunto de estados finales.
Por tanto
- ∑=¿ 1 , 0
- Γ = Z, A, B
- Q={q 0 , q 1 }
- A0 = {a , z }
- q 0 ∈ Q=q 0
- F ⊆Q=q1

Equivalencia de APF y APV

El conjunto de lenguajes aceptados por estado final por los autómatas a pila L APF es igual que el conjunto
 de lenguajes aceptados por vaciado por pila de los autómatas a pila L APV .
.
Autómata de Pila por estado Autómata de Pila por vaciado de pila
final
L APF ⊆ LAPV L APV ⊆ L APF

Sea AP=( Σ , Γ , Q , A0 , q 0 , f , F) un autómata a Sea AP=( Σ , Γ , Q , A0 , q 0 , f , F) un autómata a pila y

pila y LF ( AP) el lenguaje aceptado (por estado LV ( AP) el lenguaje aceptado (por vaciado de pila) de
final) de este autómata. Construimos este autómata. Construimos
AP ’=( Σ, Γ ∪{B }, Q ∪{s , r }, B , s , f ’ , ∅ ),con AP ’=( Σ, Γ ∪{B }, Q ∪ {s , r }, B , s , f ’ , {r }), con B∉ Γy
B∉ Γ y s , r ∉ Q, donde f ’ esta definido por: s , r ∉ Q , donde f ’ esta definido por:

f ’ ( s , λ , B)={( q0 , A 0 B)}
f ’ (q , a , A)=f (q , a , A) para todo
q ∈ Q ,q ∉ F , a ∈ Σ ∪ {λ } y A ∈ Γ
f ’ (q , a , A)=f ¿) para todo q ∈ F , a ∈ Σ y A ∈ Γ
f ’ (q , λ , A)=f (q , λ , A)∪ {( r , λ) } para todo
q∈ F y A∈ Γ
f ’ (q , λ , B)={(r , λ)} para todo q ∈ F
f ’ (r , λ , A )={(r , λ)}para todo A ∈ Γ ∪{B }
f ’ ( s , λ , B )= {( q 0 , A 0 B ) }
f ’ ( q , a , A )=f ( q , a , A ) para todo
q ∈ Q ,a ∈ Σ ∪ { λ } y A ∈ Γ
f ’ (q , λ , B)={(r , λ)} para todo q ∈ Q
Se puede mostrar que LV ( AP)=LF (AP ’). Por tanto se
verifica que L APV ⊆ L APF

Se puede mostrar que LF ( AP)=LV ( AP ’). Por

tanto se verifica que L APF ⊆ LAPV
De L APF ⊆ LAPV y L APV ⊆ L APF se sigue que L APV =L APF , lo que demuestra el teorema.

Procedi Realice de manera detallada y grafica el procedimiento paso a paso del recorrido de
miento
de paso
una cadena (La cadena la selecciona el estudiante, debe contener como mínimo 8
a paso caracteres) en el autómata a pila. Describir cómo funciona el almacenamiento en la
del pila, como funciona LIFO, etc.
recorrid
o de
una - Paso 1
cadena Tenemos la siguiente grafica para la solución del autómata
                   
  Grafico  
  Cadena de entrada  
               
     

       
  q0    
  q1  Z  
  Pila LIFO
  Indicador del  
estado
                   

Adicional decimos que sea:

X = Símbolo de cadena de entrada
S = Símbolo que des-apila
T = Símbolo que apila
(x, s, t)

- Paso 2

Selección de la cadena. 011

Para la transición 1: iniciamos con la entrada 0

1. (0, Z, A) = (q0, A)
                   
  Grafico  
  Cadena de entrada  
   0            
     

       
  q0    
  q1 A  
  Pila LIFO
  Indicador del  
estado
                   

Como se puede observar que el elemento z siempre está al inicio de la pila, pero con
la entrada 0 ingreso una z, esta la desapiló y se apiló una A por tanto el nuevo punto
en la Pila lifo es A en el estado q0
0, Z; A 1, B; λ

0, A; AA 1, A; B

1, A; B
q0 q1

- Paso 3
Selección de la cadena. 011

Para la transición 2: seguimos con la segunda entrada 1

1. (1, A, B) = (q1, B)

                   
  Grafico  
  Cadena de entrada  
   0 1          
     

       
  q0    
  q1 B  
  Pila LIFO
  Indicador del  
estado
                   

con la entrada 1 ingreso una A y esta desapiló la A que había en la pila y se apiló una
B por tanto el nuevo punto en la Pila lifo es B en el estado q1
0, Z; A 1, B; λ

0, A; AA 1, A; B

1, A; B
q0 q1
 - Paso 4

Selección de la cadena. 011

Para la transición 3: seguimos con la tercera entrada 1

1. (1, B; λ ) = (q1, ; λ )

                   
  Grafico  
  Cadena de entrada  
   0  1  1        
     

       
  q0    
  q1 λ  
  Pila LIFO
  Indicador del  
estado
                   

con la entrada 1 ingreso una B y esta desapiló la B que había en la pila y se apiló una
λ la cual es un conjunto vacío que en realidad la pila quedaría vacía, en el estado final
de aceptación q1
0, Z; A 1, B; λ

0, A; AA 1, A; B

1, A; B
q0 q1

Practicar y Apoyándose en el simulador JFlap o VAS ejecutar y validar por lo menos cinco cadenas válidas y 5 cadenas rechadas
verificar lo por el autómata. En este espacio adjunta la imagen.
aprendido
Lenguaje Agregar el lenguaje regular del automata
regular
 BIBLIOGRAFIA

Carrasco, R., Calera, R., Forcada, M. (2016). Teoría De Lenguajes, Gramáticas Y Autómatas Para
Informáticos. Recuperado dehttp://bibliotecavirtual.unad.edu.co:2051/login.aspx?
direct=true&db=nlebk&AN=318032&lang=es&site=eds-live&ebv=EB&ppid=pp_Cover
 
Hernández, R. (2010). Practique la teoría de autómatas y lenguajes formales. (pp. 1 -124). Recuperado
dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10566114&ppg=10
 
Alfonseca C, E., Alfonseca M, M., Mariyón S, R. (2009). Teoría de autómatas y lenguajes formales.
Recuperado dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10498456&ppg=6
 
Millán, J., Antonio J. (2009). Compiladores y procesadores de lenguajes. (pp. 73-126). Recuperado
dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/detail.action?docID=10844351