A Metatheorem for Undecidable Properties of Formal Languages and its Application to LRR and LLR Grammars and Languages

Stephan Heilbrunner. A Metatheorem for Undecidable Properties of Formal Languages and its Application to LRR and LLR Grammars and Languages. Theoretical Computer Science, 23:49-68, 1983.

Abstract

Abstract is missing.