A TAXONOMY OF DETERMINISTIC FORGETTING AUTOMATA
Jens Glöckler · International Journal of Foundations of Computer Science · 2010
We investigate deterministic forgetting automata, i.e., deterministic linear bounded automata which can only use the operations 'move', 'erase' (rewrite with a blank symbol) and 'delete' (remove completely). We give a taxonomy of deterministic forgetting automata and draw comparisons to other kinds of automata (namely deterministic one-turn pushdown automata and one-way one-counter automata).