Restarting automata have been introduced as a formal tool to model the analysis by reduction, which is a technique used in linguistics to analyse sentences of natural languages. A restarting automaton M is a language accepting device:...