Evaluación del desempeño de un Autómata Finito Determinista Bidireccional con memoria Lifo/Fifo

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...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Giró, Juan Francisco, Vazquez, Juan Carlos, Meloni, Brenda, Constable, Leticia
Formato: Artículo revista
Lenguaje:Español
Publicado: Facultad de Ciencias Exactas, Físicas y Naturales 2017
Materias:
Acceso en línea:https://revistas.unc.edu.ar/index.php/FCEFyN/article/view/14128
Aporte de:
Descripción
Sumario: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 definió e implementó un simulador que posibilite el estudio de su comportamiento, se seleccionó un caso de estudio y se analizaron los resultados obtenidos. 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.