Universidad Nacional Abierta y a Distancia.

Tarea 3 - Diseño de Autómatas

Grupo:
301405_69

Anuar Aguilar

Código:

85153547

Escuela de Ciencias Básicas, Tecnología e Ingeniería

Cead Santa Marta
Ingeniería De Sistemas.

2020.
EJERCICIO
A
TRABAJAR

Caracterizaci En este espacio se realiza:

ón del - Mediante la definición formal explicar las
autómata a características del autómata, identificación de
pila la séptupla.
- Realizar la tabla de transición
- Realizar un cuadro comparativo de la
Equivalencia entre AP por vaciado de pila y AP
por estado final

 ∑= {0,1} alfabeto de entrada

 R= {λ, a, z, x} alfabeto de la pila
 Q= {q0, q1, q2} conjunto de estados
 AO={λ} símbolo inicial de la pila
q 0 ∈ Q={q0} estado inicial del autómata
 F ⫃ Q={q2} conjunto de estado final

Función de transición

Cinta de lectura
0 1 1

σ (q0,0, λ),(q0,a)
σ (q0,1,a),(q1, λ)
σ (q1,1,a),(q1, λ)
σ (q1 λ, z), (q2,x)
Procedimient Realice de manera detallada y grafica el
o de paso a procedimiento paso a paso del recorrido de una
paso del cadena (La cadena la selecciona el estudiante,
recorrido de debe contener como mínimo 5 caracteres) en el
una cadena autómata a pila. Describir cómo funciona el
almacenamiento en la pila, como funciona LIFO,
etc.

- Paso 1…
- Paso 2…
- Paso 3…

Ejemplo:

Gráfico

Realizar la representación utilizando

flechas, conexiones, diagramas que
permitan ver el funcionamiento del
autómata a pila

Para una transición:

F (q, a, A) = {(q1, Z1), (q2, Z2),... (qn, Zn)}
- Paso 1: cuando el autómata se encuentra en
el estado q, lee el símbolo de entrada a y tiene
el símbolo A en la cima de la pila.

- Paso 2: El autómata pasará a algún estado

q1, eliminará el símbolo A de la pila e
introducirá en ella la palabra Zi, quedando la
cabeza de Zi en la cima de la pila.

- Paso 3: El procedimiento se repite n veces

Practicar Apoyándose en el simulador JFlap (Anexo 1 - JFLAP)
y o VAS (Anexo 2- VAS) ejecutar y validar por lo
verificar menos cinco cadenas válidas y 5 cadenas rechazadas
lo por el autómata. En este espacio adjunta la imagen.
aprendid
o
Lengua Agregar el lenguaje regular del autómata
je
regular

Ejercicios 2: Gramática del autómata

El estudiante realiza paso a paso la gramática del autómata que

seleccionó.

Identifique su gramática (de forma manual) por la derecha o izquierda

y la caracteriza. Debe incluir el diagrama de estados con los
componentes de la gramática asociados a las variables y a las
constantes.

Ejercicio Grupal: Minimización de autómatas

Deben diligenciar la siguiente información:

EJERCICIO Registre aquí el Ejercicio a trabajar. Por
A favor agregue la imagen
TRABAJAR
Procedimien Realice de manera detallada el procedimiento
to de paso a paso de la minimización del autómata.
minimizació
n - Paso 1…
- Paso 2…
- Paso 3…

Resultado Agregue aquí la imagen del autómata minimizado

del
Autómata
minimizado
Notación En este espacio agrega la notación formal del
formal del autómata. Identifique la quíntupla del autómata
autómata minimizado.
minimiza Realice la tabla de transición
do
Caracterizaci Identifique los elementos (tupla, estado final,
ón del inicial, alfabeto, etc.). Debe explicar y describir
autómata cada elemento y la función y significado en el
parte teórica autómata. Conceptos y definiciones adicionales.

Lengua En este espacio agrega el lenguaje regular del

je autómata.
Regular
Gramática En este espacio agrega la gramática del
del autómata. Identifique su gramática (de forma
autómata 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.
Validación - Identifique 5 cadenas aceptadas y cinco
de cadenas cadenas rechazadas

Practicar Muestre en el simulador JFLAP (Anexo 1 - JFLAP) o

y VAS (Anexo 2- VAS) (gráficamente) como recorre
verificar una cadena válida. Explique cada secuencia. (No se
lo trata
aprendid solo de captura las imágenes, estas deben ser
o
 explicadas en pie de página o de lo contrario no
tienen validez)

Referencias Bibliográficas

Carrasco, R. C., Calera Rubio, J., & Forcada Zubizarreta, M. L. (2000). Teoría
de lenguajes, gramáticas y autómatas para informáticos. Digitalia. (pp. 119 -
127). Recuperado de https://bibliotecavirtual.unad.edu.co/login?
url=https://search-ebscohost-com.bibliotecavirtual.unad.edu.co/login.aspx?
direct=true&db=nlebk&AN=318032&lang=es&site=ehost-
live&ebv=EB&ppid=pp_Cover

Alfonseca Cubero, E. (2007). Teoría de autómatas y lenguajes formales.

Madrid etc., Spain: McGraw-Hill España. (pp. 117 - 150). Recuperado de
https://elibro-net.bibliotecavirtual.unad.edu.co/es/lc/unad/titulos/50119

González, A. [Ángela]. (2018, junio 1). Lenguajes Independientes del

Contexto. [Archivo web]. Recuperado de http://hdl.handle.net/10596/18317