Definición y evaluación de un Autómata Finito Determinista Bidireccional con memoria Lifo/Fifo.

Abstract

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