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.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Systems of Restarting Automata

  • Friedrich Otto

摘要

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.