Browsing by Author "Meloni, Brenda"
Now showing 1 - 9 of 9
- Results Per Page
- Sort Options
Item Definición y evaluación de un Autómata Finito Determinista Bidireccional con memoria Lifo/Fifo.(Univesidsad 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.Item Detección de errores sintácticos bajo el algoritmo de Earley(-, 2014) Vázquez, Juan Carlos; Constable, Leticia E.; Meloni, Brenda; Jornet, Wilfredo; Arcidiánico, Marcelo; Parisi, GermánDesde la década de 1950, se han definido y desarrollado gran cantidad de lenguajes de programación y sus respectivos compiladores y se han ido diseñado y estudiado numerosas técnicas de análisis sintáctico. Muchas de ellas fueron en su momento desestimadas por problemas de desempeño: con las máquinas disponibles tardaban demasiado en hacer su tarea como para ser utilizadas en forma práctica. Sin embargo, las mejoras en la potencia computacional de los equipos de computación y sucesivas revisiones de los algoritmos involucrados a través de los años, que mejoraron su complejidad en algunos casos, hacen necesaria una revisión de esas técnicas dejadas de lado. Con ese fin, se ha lanzado un proyecto para revisar en particular el algoritmo de análisis sintáctico desarrollado por Jay Earley a principios de 1970 y determinar su aplicabilidad efectiva en el desarrollo de un compilador propio, sobre todo en lo referido a la especificidad con que pueden ser detectados e informados los errores (tipo de error y lugar de aparición).Item Enseñanzas de la implementación de un analizador léxico(-, 2014) Vázquez, Juna Carlos; Constable, Leticia E.; Jornet, Wilfredo; Meloni, BrendaLa 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 Enseñanzas de la implementación de un analizador sintáctico por descenso recursivo(Conaiisi - Universidad Católica de Salta, 2016) Vázquez, Juan Carlos; Constable, Leticia E.; Jornet, Wilfredo; Meloni, Brenda; Carballo , NicolásLa comprensión de temas abstractos de la teoría de lenguajes, algoritmos y máquinas abstractas, es difícil para alumnos de los primeros cursos de las carreras de Ingeniería. El estudiante suele no tener aún el manejo fluido de programación para pasar a código los conceptos aprendidos. Se continúa en este artículo la saga iniciada con un trabajo anterior sobre Analizadores Léxicos que, en el proyecto de I+D en el que se intenta determinar cómo informar adecuadamente errores al usar un algoritmo de análisis sintáctico general (Earley), muestra las vicisitudes de la tarea de traspasar a código la teoría con fidelidad y rigurosamente. En esta oportunidad, se comparte una serie de experiencias dejadas durante la construcción de un analizador sintáctico por descenso recursivo, usado en el proyecto y pensado como herramienta de enseñanza.Item Enseñanzas de la Implementación de un Analizador Sintáctico por Descenso Recursos.(Universidad Tecnológica Nacional., 2016) Vázquez, Juan Carlos; Constable, Leticia; Jornet, Wilfredo; Meloni, Brenda; Carballo, NicolásLa comprensión de temas abstractos de la teoría de lenguajes, algoritmos y máquinas abstractas, es difícil para alumnos de los primeros cursos de las carreras de Ingeniería. El estudiante suele no tener aún el manejo fluido de programación para pasar a código los conceptos aprendidos. Se continúa en este artículo la saga iniciada con un trabajo anterior sobre Analizadores Léxicos que, en el proyecto de I+D en el que se intenta determinar cómo informar adecuadamente errores al usar un algoritmo de análisis sintáctico general (Earley), muestra las vicisitudes de la tarea de traspasar a código la teoría con fidelidad y rigurosamente. En esta oportunidad, se comparte una serie de experiencias dejadas durante la construcción de un analizador sintáctico por descenso recursivo, usado en el proyecto y pensado como herramienta de enseñanza.Item Evaluación 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 CarlosCon el objetivo de explorar el desempeño de máquinas abstractas, de capacidad inferior a la Máquina de Turing y mayor a la del Autómata Finito, se abordaron sucesivas tareas: reconocer y estudiar las principales máquinas disponibles, proponer una máquina específica a ser considerada, definir e implementar un simulador que posibilite el estudio de su comportamiento, seleccionar casos de estudio y analizar sus resultados. En el documento que se presenta se centra la atención en la definición del nuevo autómata y en los resultados obtenidos con un caso de estudio. Las pruebas se orientaron a evaluar la complejidad temporal y la sensibilidad de este indicador a variantes en las cadenas de datos. También inspiraron otras máqui nas a ser estudiadas y confirmaron el enorme valor técnico y pedagógico de los procesos de simulación.Item Evaluación del desempeño de un autómata finito determinista bidireccional con memoria Lifo/Fifo(REVISTA FACULTAD DE CIENCIAS EXACTAS, FÍSICAS Y NATURALES, 2017-03) Giró, Juan; Vázquez, Juan Carlos; Meloni, Brenda; Constable, Leticia E.En 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 medianteel 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 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 Propuesta de Cambio en la Teoría de Autómatas para Mejorar su Enseñanza en Ingeniería.(Universidad Tecnológica Nacional., 2018) Vázquez, Juan Carlos; Constable , Leticia; Jornet, Wilfredo; Meloni, Brenda; Arcidiácono, MarceloEl concepto de máquina abstracta constituye uno de los fundamentos teóricos y tema central de todas las disciplinas que componen las ciencias informáticas, con relación cercana y entrelazada con las teorías de los lenguajes formales, de la computación, la complejidad, la algorítmica y tantas otras. Su formalismo matemático suele ser de difícil comprensión para los alumnos noveles de las carreras de Ingeniería. La práctica con simuladores y ejemplos de modelado del funcionamiento de máquinas y procesos reales, mejora esta situación, pero el estudiante realmente aprehende su utilidad cuando él mismo lo programa (o inspecciona un programa prediseñado) y lo pone a funcionar. Sin embargo, la teoría de autómatas que se enseña tradicionalmente “no alcanza” para poder implementarla. Durante el transcurso del proyecto de I+D que intenta determinar cómo señalar errores (localización y tipo) eficientemente, utilizando el algoritmo de análisis sintáctico de Earley para procesar programas, se desarrolló un analizador léxico intentando indicar claramente la transferencia de la teoría a la práctica, para crear herramientas y ejemplos útiles para la enseñanza. Esta tarea indujo la propuesta de pequeños cambios en la teoría, para que la misma se acerque significativamente mejor a la práctica. Estas propuestas son comentadas en el presente artículo.