UTN- FRC -Producción Académica de Investigación y Desarrollo - Artículos
Permanent URI for this collectionhttp://48.217.138.120/handle/20.500.12272/2453
Browse
5 results
Search Results
Item Evaluación del desempeño de un Autómata Finito Determinista Bidireccional con memoria Lifo/Fifo.(Universidad Tecnológica Nacional., 2017) Giró , Juan; Vázquez , Juan Carlos; Meloni, Brenda; Constable, Leticia; Vázquez , Juan CarlosEn el campo de las máquinas abstractas hay una franja muy interesante que normalmente recibe poca atención, que está integrada por aquellas de capacidad inferior a la Máquina de Turing y mayor a la del Autómata Finito. Las evidencias mostraron que estas máquinas disponen de una gran potencialidad y pueden tener desempeños muy interesantes ante problemas específicos, lo que llevó a tratarlas como objetos de estudio en este trabajo. Con este fin se reconocieron y evaluaron las principales máquinas disponibles, se propuso una nueva máquina con memoria Lifo/Fifo, se seleccionó un caso de estudio y se analizaron los resultados obtenidos mediante el uso de un simulador implementado a tal fin. Las pruebas se orientaron a evaluar la complejidad temporal y la sensibilidad de este indicador ante variantes en las cadenas de datos, contrastando los resultados con los obtenidos con dos Máquinas de Turing. El trabajo ofreció la oportunidad de reconocer otras máquinas a ser estudiadas en el futuro y también confirmaron el enorme valor técnico y pedagógico de los procesos de simulación.Item Lenguajes formales y teorías de autómatas.(Universidad Tecnológica Nacional., 2015) Giró , Juan; Vázquez , Juan Carlos; Meloni, Brenda; Constable , Leticia; Vázquez , Juan CarlosLa comprensión de temas abstractos de la teoría de autómatas y lenguajes formales, suele ser difícil para alumnos de los primeros años de las carreras de Ingeniería. El uso de simuladores y el modelado del funcionamiento de elementos cotidianos mejora esta situación, pero el estudiante suele no tener aún la soltura necesaria en programación para bajar a código los conceptos aprendidos. Durante el transcurso del proyecto de I+D en el que se intenta determinar cómo indicar eficientemente errores (localización y tipo) utilizando un algoritmo general de análisis sintáctico (Earley), se desarrolló un analizador léxico y esta tarea se encaró de tal forma que, además de servir al proyecto, señalara claramente la transferencia de la teoría a la práctica y creara una herramienta útil para la enseñanza en el aula Esta tarea dejó una serie de experiencias las que se comparten en el presente artículo.Item La simulación por computadora como estrategia didáctica para la enseñanza de la complejidad algorítmica.(Universidad Tecnológica Nacional., 2017) Meloni , Brenda; Constable , Leticia; Giró , Juan; Vázquez, Juan Carlos; Vázquez, Juan CarlosEl proceso de enseñanza-aprendizaje del concepto de complejidad algorítmica, acarrea dificultades especiales debido al carácter abstracto de dicha noción. El uso de autómatas para el modelado de algoritmos, permite la aplicación de herramientas tales como simuladores de máquinas abstractas, a través de los cuales, se puede construir una imagen intuitiva del proceso al visualizar el comportamiento de dichos autómatas. Además los simuladores proveen información útil para el posterior cálculo de expresiones generales de la complejidad algorítmica. Se propone un ejercicio de aplicación integrador, a través del cual, con auxilio de un simulador de máquinas de Turing, se comparan las expresiones de la complejidad obtenidas para dos soluciones distintas de un mismo problema, empleando además conceptos previamente adquiridos en otras asignaturas, lo que favorece la transposición tanto horizontal como verticalmente respecto del diseño curricular de la carrera.Item Impacto de distintas formas de acceso a memoria sobre la complejidad temporal de Autómatas Finitos Bidireccionales.(Universidad Tecnológica Nacional., 2016) Giró , Juan; Vázquez , Juan Carlos; Meloni, Brenda; Constable , Leticia; Vázquez , Juan CarlosEn el marco de un proyecto de investigación se puso atención a las variantes en el acceso a memoria auxiliar de los autómatas finitos bidireccionales. Así se presentó un autómata con accesos Lifo y Fifo, que mostró gran potencialidad y desempeños muy interesantes ante problemas específicos. Estimu lados por estos resultados, se estudió un nuevo autómata con acceso Lifo y dos variantes de accesos Fifo a memoria auxiliar, objeto de esta presenta ción. Las pruebas se orientaron a evaluar la complejidad temporal y la sensibilidad de este indicador ante variantes en la morfología de las cadenas de datos, contrastando los resultados con los obtenidos con una Máquinas de Turing y el autómata de memoria Lifo/Fifo ya citado. Se presen ta un caso de estudio y los resultados obtenidosItem Definición y evaluación de un Autómata Finito Determinista Bidireccional con memoria Lifo/Fifo.(Universidad Tecnológica Nacional., 2015) Giró , Juan; Vázquez , Juan Carlos; Meloni, Brenda; Constable, Leticia; Meloni, Brenda; Vázquez , Juan CarlosSe toma como base un Autómata Finito Determinista Bidireccional (AFDB), al que se lo dota de una memoria dual de tipo Lifo/Fifo donde la condición de acceso a la memoria está asociada a cada estado. Es decir que hay estados cuyo acceso es Lifo y otros que es Fifo. Al nuevo autómata se lo denomina AFDB-LF.