Equivalences and transformations of regular systems - applications to recursive program schemes and grammars

From MaRDI portal