Nonreturning PC grammar systems can be simulated by returning systems

From MaRDI portal
Publication:671531