Deleting automata with a restart operation and Marcus grammars