Abstract
Three open questions in the theory of regulated rewriting are addressed. The first is whether every permitting random context grammar has a non-erasing equivalent. The second asks whether the same is true for matrix grammars without appearance checking. The third concerns whether permitting random context grammars have the same generative capacity as matrix grammars without appearance checking.
The main result is a positive answer to the first question. For the other two, conjectures are presented. It is then deduced from the main result that at least one of the two holds.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bordihn, H., Holzer, M.: Random context in regulated rewriting versus cooperating distributed grammar systems. In: Martín-Vide, C., Otto, F., Fernau, H. (eds.) LATA 2008. LNCS, vol. 5196, pp. 125–136. Springer, Heidelberg (2008)
Dassow, J.: Grammars with regulated rewriting. In: Martín-Vide, C., Mitrana, V., Păun, G. (eds.) Formal Languages and Applications, pp. 249–273. Springer, Berlin (2004)
Dassow, J., Păun, G.: Regulated rewriting in formal language theory. Springer, Berlin (1989)
Dassow, J., Păun, G., Salomaa, A.: Grammars with controlled derivations. In: Rozenberg, G., Salomaa, A. (eds.) Handbook of Formal Languages, vol. 2, pp. 101–154. Springer, Berlin (1997)
Ewert, S., van der Walt, A.: A pumping lemma for random permitting context languages. Theoretical Computer Science 270, 959–967 (2002)
Hauschildt, D., Jantzen, M.: Petri net algorithms in the theory of matrix grammars. Acta Informatica 31(8), 719–728 (1994)
Salomaa, A.: Formal Languages. Academic Press, New York (1973)
van der Walt, A.: Random context languages. In: Information Processing 71, Proceedings of the IFIP Congress 71, Foundations and Systems, vol. 1, pp. 66–68. North-Holland, Amsterdam (1972)
Zetzsche, G.: Erasing in Petri Net Languages and Matrix Grammars. In: Diekert, V., Nowotka, D. (eds.) DLT 2009, Stuttgart, Germany, June 30–July 3. LNCS, vol. 5583, pp. 490–501. Springer, Heidelberg (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zetzsche, G. (2010). On Erasing Productions in Random Context Grammars. In: Abramsky, S., Gavoille, C., Kirchner, C., Meyer auf der Heide, F., Spirakis, P.G. (eds) Automata, Languages and Programming. ICALP 2010. Lecture Notes in Computer Science, vol 6199. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-14162-1_15
Download citation
DOI: https://doi.org/10.1007/978-3-642-14162-1_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-14161-4
Online ISBN: 978-3-642-14162-1
eBook Packages: Computer ScienceComputer Science (R0)