Universidad Nacional Abierta y a Distancia – UNAD - Vicerrectoría Académica y de Investigación - VIACI

Escuela: Escuela de ciencias básicas tecnologías e ingeniería Programa:

Curso: Autómatas y Lenguajes formales Código: 301405_15

Universidad Nacional Abierta y a Distancia –UNAD

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

AUTOMATAS Y LENGUAJES FORMALES

Fase 2

Curso: 301405_15

Tutor:

Rolando Fabian Junco

Presentado por:

Paola Amado Angulo -

William Vargas -
Anayibe Cardenas – 1.022.382.842
Johanna Alfonso – 1.026.574.808
Julian David Medrano Abril - 1015411483

Octubre 2 de 2019

Bogota, Colombia

1
 Universidad Nacional Abierta y a Distancia – UNAD - Vicerrectoría Académica y de Investigación - VIACI
Escuela: Escuela de ciencias básicas tecnologías e ingeniería Programa:
Curso: Autómatas y Lenguajes formales Código: 301405_15

Actividad 3:

Teniendo en cuenta el siguiente autómata realice:

1. Describa la forma matemática del autómata

A = [(q0,q1,q2,q4,q5,q3),(a, b)]

ER=((ba+bba+bbbb)a)*(a+bbba+(ba+bba+bbbb)b)
 Universidad Nacional Abierta y a Distancia – UNAD - Vicerrectoría Académica y de Investigación - VIACI
Escuela: Escuela de ciencias básicas tecnologías e ingeniería Programa:
Curso: Autómatas y Lenguajes formales Código: 301405_15

2. Plasme la tabla de transición.

a b
q0 q1 q2
q1 Ǿ Ǿ
q2 q5 q3
q3 q5 q4
q4 q1 q5
q5 q0 q1

3. Identifique los elementos (tupla, estado final, inicial, alfabeto,

etc.). Debe explicar y describir cada elemento y la función y
significado en el autómata. Conceptos y definiciones adicionales.

tupla(𝑲, ∑, 𝜹, 𝒔, 𝑭)

𝑴 = ({𝑞0, 𝑞1, 𝑞2, 𝑞3, 𝑞4, 𝑞5}, {𝑎, 𝑏}. 𝑞0, {𝑞1, 𝑞3, 𝑞4})

𝑲 = {𝑞0, 𝑞1, 𝑞2, 𝑞3, 𝑞4, 𝑞5}

𝐴𝑙𝑓𝑎𝑏𝑒𝑡𝑜 𝑑𝑒𝑙 𝑎𝑢𝑡ó𝑚𝑎𝑡𝑎 ∑ = {𝑎, 𝑏}

𝒒 = (𝑞0, 𝑞1, 𝑞2, 𝑞3, 𝑞4, 𝑞5)

𝐸𝑠𝑡𝑎𝑑𝑜 𝑖𝑛𝑖𝑐𝑖𝑎𝑙 𝒔 = 𝑞0

𝐸𝑠𝑡𝑎𝑑𝑜 𝑓𝑖𝑛𝑎𝑙 𝑭 = 𝑞1, 𝑞3, 𝑞4

𝛿 ∶ {𝑞0, 𝑞1, 𝑞2, 𝑞3, 𝑞4, 𝑞5} × {𝑎, 𝑏} → {𝑞0, 𝑞1, 𝑞2, 𝑞3, 𝑞4, 𝑞5}

𝛿(𝑞0, 𝑎) = 𝑞1
𝛿(𝑞0, 𝑏) = 𝑞2
𝛿(𝑞2, 𝑎) = 𝑞5
𝛿(𝑞2, 𝑏) = 𝑞3
𝛿(𝑞3, 𝑎) = 𝑞5
𝛿(𝑞3, 𝑏) = 𝑞4
𝛿(𝑞4, 𝑎) = 𝑞1
𝛿(𝑞4, 𝑏) = 𝑞5
𝛿(𝑞5, 𝑎) = 𝑞0
𝛿(𝑞5, 𝑏) = 𝑞1
Universidad Nacional Abierta y a Distancia – UNAD - Vicerrectoría Académica y de Investigación - VIACI
Escuela: Escuela de ciencias básicas tecnologías e ingeniería Programa:
Curso: Autómatas y Lenguajes formales Código: 301405_15

4. Muestre en el simulador (gráficamente) como recorre una cadena

válida. Explique cada secuencia. (No se trata solo de captura las
imágenes, estas deben ser explicadas en pie de página o de lo
contrario no tienen validez)

Comenzando con el estado inicial q0, con el símbolo (b)

conduciéndonos al estado q2, q2 con el símbolo (b) llevándonos a q3,
con q3 y su símbolo (b) nos mueve al estado final q4, al llegar a un
estado final esta cadena tiene validez.

Desde el estado inicial q0 yendo por el paso (a) nos lleva al estado
final q1
Universidad Nacional Abierta y a Distancia – UNAD - Vicerrectoría Académica y de Investigación - VIACI
Escuela: Escuela de ciencias básicas tecnologías e ingeniería Programa:
Curso: Autómatas y Lenguajes formales Código: 301405_15

Otra opción es desde q0 pasando a q2 por (b) y otra vez (b) para
llegar a q3 un estado final.

Desde q3 podemos pasar a q5 por (a) y de ahí (b) para llegar a un

estado final q1
Universidad Nacional Abierta y a Distancia – UNAD - Vicerrectoría Académica y de Investigación - VIACI
Escuela: Escuela de ciencias básicas tecnologías e ingeniería Programa:
Curso: Autómatas y Lenguajes formales Código: 301405_15

También podemos pasar a q4 desde q3 por (b) un estado final

Y desde ahí a q1 por (a)

5. Muestre el diagrama de Moore generado en JFLAP y en VAS y

comente tres similitudes y tres diferencias que encuentra al
realizarlo en los dos simuladores. (Ventajas que ofrezca uno u
otro).
 Universidad Nacional Abierta y a Distancia – UNAD - Vicerrectoría Académica y de Investigación - VIACI
Escuela: Escuela de ciencias básicas tecnologías e ingeniería Programa:
Curso: Autómatas y Lenguajes formales Código: 301405_15

Similitudes JFLAP-VAS

 Inicialmente con VAS gráficamente me pareció fácil el uso de los

objetos, tanto en los estados como en las transiciones,
posteriormente cuando utilicé JFLAP noté igualmente que el uso de
los objetos también se realiza de forma rápida y fácil.
 Universidad Nacional Abierta y a Distancia – UNAD - Vicerrectoría Académica y de Investigación - VIACI
Escuela: Escuela de ciencias básicas tecnologías e ingeniería Programa:
Curso: Autómatas y Lenguajes formales Código: 301405_15

 Al ingresar una cadena de caracteres para validación lo realiza

paso a paso de manera gráfica con el uso de colores para
especificar los pasos.
 Permite hacer conversiones de tipos de autómatas AFD y AFND y
viceversa siempre que sea posible.

Diferencias

 VAS tiene un menú de herramientas básicas limitadas mientras

que JFLAP tiene más contenido en el menú de herramientas,
haciéndolo más completo y permitiendo diversas tareas más
complejas.
 VAS permite dibujar de manera curva las transiciones de un
estado a otro, haciendo que se vea mejor gráficamente a
diferencia de JFLAP que sus líneas si o si son rectas.
 VAS permite ingresar una cadena de caracteres para validación
tanto paso a paso como resultado inmediato, pero en JFLAP, este
simulador permite realizar la validación de cadenas de caracteres
para un listado de cadenas de caracteres al tiempo y realiza esa
validación de manera simultánea, indicando los resultados de cada
cadena.
 Universidad Nacional Abierta y a Distancia – UNAD - Vicerrectoría Académica y de Investigación - VIACI
Escuela: Escuela de ciencias básicas tecnologías e ingeniería Programa:
Curso: Autómatas y Lenguajes formales Código: 301405_15

Bibliografía

Ciencias de la computación I. Gramáticas Regulares – Expresiones

regulares. Recuperado de:
http://www.exa.unicen.edu.ar/catedras/ccomp1/ApunteGryER.
pdf

González, A. [Ángela] (2017, mayo 16). Minimización de un autómata.

[Archivo de video]. Recuperado de
https://www.youtube.com/watch?v=eOynYG8Ibk0&t=9s