Automatas_Equipo4 - Nah AD

Vista previa del material en texto

Materia: Traductores. 
Docente: Gerson Villa Gonzales 
Actividad: Desarrollar las cadenas 
susceptibles en cada autómata. 
Fecha de Entrega: 4 octubre 2021 
Alumno/as: Denise Odeth Rosales Sanchez 
Ian Arias Diaz. 
Diego Alan Dominguez Ordas. 
Jesús Jehosafat Esqueda Navarro. 
Ana Bélgica Martínez Montoya 
Semestre: 7°,8°,9° 
Campus: San Rafael, Toluca 
 
 
introducción: 
JFLAP (del inglés, Java Formal Language and Automata Package) Es un software que permite 
experimentar de forma gráfica con los conceptos relativos a la teoría de autómatas y lenguajes 
formales. Permite diseñar, evaluar y realizar distintas transformaciones y comprobaciones sobre 
autómatas finitos, gramáticas, autómatas a pila, máquinas de Turing, y otros elementos. En esta 
práctica se crean diferentes autómatas para resolver los ejercicios proporcionados. 
 
Autómata 1: 
 
 
 
 
 
 
Pruebas autómata 1: 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
Autómata 2: 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
Autómata 3: 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
Conclusiones: 
Los autómatas finitos vistos en este trabajo nos capturan los movimientos y eventos que 
suceden en nuestro diagrama con cada una de las pruebas. Podemos ver el cómo dando 
un estado inicial en cada diagrama se va mostrando sus saltos a los siguientes estados 
y se va generando la ruta a su estado final. También notaremos como se reconoce el 
lenguaje del autómata a medida que se forma su estado final ya que tuvo que “recordar” 
los procesos por los cuales tuve que estar, en dado caso de que acepté la cadena que 
fue ingresada pasara a un estado de aceptación, sino es aceptado será como si no fuera 
de dicho lenguaje. 
 
Referencias: 
• Oliva, E. S., Diaz Ogas, M., Molina, A. L., & Alonso, N. (2019). Abordaje de 
expresiones regulares y sus derivadas mediante la utilización del software JFLAP. 
In XXI Workshop de Investigadores en Ciencias de la Computación (WICC 2019, 
Universidad Nacional de San Juan)..