Proceedings of the 1994 Monterey Workshop, Increasing the Practical Impact of Formal Methods for Computer-Aided Software Development: Evolution Control for Large Software Systems Techniques for Integrating Software Development Environments

Office of Naval Research, Advanced Research Projects Agency, Air Force Office of Scientific Research, Army Research Office, Naval Postgraduate School, National Science Foundatio

Chain-code pictures and collages generated by hyperedge replacement

Regular chain-code picture languages can be generated by collage grammars. As a consequence, all undecidability results known for regular chain-code languages can be adapted to picture languages generated by collage grammars. (orig.)Available from TIB Hannover: RR 4485(1995,3) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekSIGLEDEGerman