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