FASE 3 - MODELAR PROBLEMAS DE LENGUAJES INDEPENDIENTES DEL

CONTEXTO

PRESENTADO POR
EDWAR VELASQUEZ

PRESENTADO A
VERMEN RAINER AYALA
TUTOR

GRUPO
301405A_761

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS BÁSICAS, TECNOLOGÍA E INGENIERÍA
AUTÓMATAS Y LENGUAJES FORMALES
MIERCOLES, 08 DE ABRIL DE 2020
BOGOTA
 INTRODUCCION

Con el siguiente trabajo buscamos demostrar el conocimiento adquiridos en el

conocimiento de los componentes o elementos que integran un autómata,
comprender la importancia de los mismos dentro de la computación, sus padres, los
tipos de autómatas que existen como Autómatas Finitos Deterministas y Autómatas
Finitos No deterministas y como transformarlos, métodos para la lectura de
autómatas o la definición de estados con transiciones recursivas.

Con el desarrollo del siguiente trabaja so pretende demostrar que se han adquirido
los conocimientos con respecto a los lenguajes formales y autómatas, y su
funcionamiento. También es importante complementar la solución de los ejercicios de
la actividad a través del uso de herramientas computacionales de simulación,
empleando los conceptos aprendidos en nuestros estudios de las diversas ramas de
la Ingeniería en nuestra Universidad, El siguiente trabajo muestra dos ejercicios
realizados por el trabajo colaborativo y como se integraron los resultados de las
personas para mostrar un trabajo final concluyente
 OBJETIVOS

OBJETIVOS GENERAL

Reconocer los lenguajes independientes del contexto y sus diversas aplicaciones.

OBJETIVOS ESPECIFICOS

 Estudiar la aplicación de los lenguajes regulares y los autómatas finitos.

 Distinguir los diferentes tipos de lenguajes formales existentes.
 Adquirir el conocimiento y competencia para poder recrear autómatas sencillos
en un simulador. De igual forma verificar el lenguaje que reconoce
 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
2y8 Ejercicio 2

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
TRABAJAR

Caracterizació - Σ:es el alfabeto de entrada {0, 1}

n del autómata
a pila - Γ: es el alfabeto de la pila {A,B,Z}

- Q: es un conjunto finito de estados {q0, q1}

- A0 ∈ Γ: λ

- q0 ∈ Q: el estado inicial del autómata {q0}

- F ⊆ Q: es el conjunto de estados finales. {pila

vacía}
- f: función de transición

Ơ = (q0,0,A) , (q0,AA)
Ơ = (q0,0,Z) , (q0,A)
Ơ = (q0,1,A) , (q1,B)
Ơ = (q1,1,B) , (q1, λ)
Ơ = (q1,1,A) , (q1,B)

Procedimiento Realice de manera detallada y grafica el

de paso a paso procedimiento paso a paso del recorrido de una
del recorrido cadena (La cadena la selecciona el estudiante,
de una cadena debe contener como mínimo 8 caracteres) en el
autómata a pila. Describir cómo funciona el
almacenamiento en la pila, como funciona LIFO,
etc.

CADENA : 00000111

Estado inicial:

                         
     
     
     
  0 0 0 0 0 0 1 1 1    
     
     
     
  Z  
                         

- Paso 1

Recibimos el valor de cero con tres cambios

posibles de estado en la pila borramos a Z y
escribimos A permanecemos con el mismo estado
q0, (0,Z,A)

Ơ = (q0,0,Z) , (q0,A)

                         
     
     
     
  0 0 0 0 0 0 1 1 1    
     
     
     
  A  
                         

- Paso 2

Recibimos nuevamente valor cero con tres cambios

posibles a lo que utilizamos (0,A,AA) para lo cual
borramos del top de la pila a pop A y agregamos a
AA con un push y permanecemos en el mismo
estado q0.

Ơ = (q0,0,A) , (q0,AA)
                         
     
     
     
  0 0 0 0 0 0 1 1 1    
     
     
   
  A  
                         

- Paso 3

Recibimos el valor de cero con tres cambios

posibles de estado en la pila borramos a A y
agregamos A permanecemos con el mismo estado
q0, (0,Z,A)

Ơ = (q0,0,Z) , (q0,A)

                         
     
     
     
  0 0 0 0 0 0 1 1 1    
     
     
   
  A  
                         

- Paso 4

Recibimos nuevamente valor cero con tres cambios

posibles a lo que utilizamos (0,A,AA) para lo cual
borramos del top de la pila a pop A y agregamos a
AA con un push y permanecemos en el mismo
estado q0.

Ơ = (q0,0,A) , (q0,AA)
                         
     
     
     
  0 0 0 0 0 0 1 1 1    
     
     
  A  
  A  
                         

- Paso 5

Recibimos el valor de cero con tres cambios

posibles de estado en la pila borramos a A y
agregamos A permanecemos con el mismo estado
q0, (0,Z,A)

Ơ = (q0,0,Z) , (q0,A)

                         
     
     
     
  0 0 0 0 0 0 1 1 1    
     
  A  
  A  
  A  
                         

- Paso 6

Recibimos nuevamente valor cero con tres cambios

posibles a lo que utilizamos (0,A,AA) para lo cual
borramos del top de la pila a pop A y agregamos a
AA con un push y permanecemos en el mismo
estado q0.
 Ơ = (q0,0,A) , (q0,AA)

                         
     
     
     
  0 0 0 0 0 0 1 1 1    
     
  A  
  A  
  A  
                         

- Paso 7

Recibimos nuevamente valor uno con tres

cambios posibles a lo que utilizamos (1,A,B)
para lo cual borramos del top de la pila a pop
A y dejamos libre el espacio en memoria con
un push y realizamos un cambio de estado
de q0 a q1

                         
     
     
     
  0 0 0 0 0 0 1 1 1    
     
     
  A  
  A  
                         

- Paso 8

Recibimos nuevamente valor uno con tres

cambios posibles a lo que utilizamos (1,A,B)
para lo cual borramos del top de la pila a pop
A y dejamos libre el espacio en memoria con
un push y permamenecemos en q1.
                          
     
     
     
  0 0 0 0 0 0 1 1 1    
     
     
   
  A  
                         

- Paso 9

Recibimos nuevamente valor uno con tres

cambios posibles a lo que utilizamos (1,A, λ)
para lo cual borramos del top de la pila a pop
A y dejamos libre el espacio en memoria con
un push y permamenecemos en q1.

                         
     
     
     
  0 0 0 0 0 0 1 1 1    
     
     
     
     
                         

Damos por terminada la secuencia ya que la

pila se encuentra vacía, por lo anterior el
autómata da por terminado.

Practicar y Apoyándose en el simulador JFlap o VAS ejecutar y

verificar lo validar por lo menos cinco cadenas válidas y 5
aprendido cadenas rechadas por el autómata. En este espacio
adjunta la imagen.
Lenguaje Agregar el lenguaje regular del automata
regular