Systems of Restarting Automata
摘要
The former action implies that the restarting automaton forgets the position of the window at which the restart operation was performed, while the latter action entails that the restarting automaton forgets all information that it has collected up to this point in its finite-state control. To compensate for this loss, the restarting automaton may encode this information on its tape. However, it can do so only in a very restricted way as, between any two restart steps, it can, in general, only execute a single weight-reducing, or even length-reducing, rewrite step.