A Neural Rewriting System to Solve Algorithmic Problems