Advertisement

Erasing in Petri Net Languages and Matrix Grammars

  • Georg Zetzsche
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5583)

Abstract

It is shown that applying linear erasing to a Petri net language yields a language generated by a non-erasing matrix grammar. The proof uses Petri net controlled grammars. These are context-free grammars, where the application of productions has to comply with a firing sequence in a Petri net. Petri net controlled grammars are equivalent to arbitrary matrix grammars (without appearance checking), but a certain restriction on them (linear Petri net controlled grammars) leads to the class of languages generated by non-erasing matrix grammars.

It is also shown that in Petri net controlled grammars (with final markings and arbitrary labeling), erasing rules can be eliminated, which yields a reformulation of the problem of whether erasing rules in matrix grammars can be eliminated.

Keywords

Empty Word Language Class Sentential Form Reachability Problem Terminal Symbol 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Dassow, J., Păun, G., Salomaa, A.: Grammars with controlled derivations. In: Rozenberg, G., Salomaa, A. (eds.) Handbook of Formal Languages, vol. 2. Springer, Heidelberg (1997)Google Scholar
  2. 2.
    Hauschildt, D., Jantzen, M.: Petri net algorithms in the theory of matrixgrammars. Acta Informatica 31, 719–728 (1994)MathSciNetCrossRefzbMATHGoogle Scholar
  3. 3.
    Dassow, J., Turaev, S.: Arbitrary Petri net controlled grammars. In: Bel-Enguix, G., Jiménez-López, M.D. (eds.) Proc. 2nd International Workshop ForLing 2008, Tarragona, Spain, pp. 27–39 (2008)Google Scholar
  4. 4.
    Dassow, J., Turaev, S.: Grammars controlled by special Petri nets. In: Dediu, A.-H., Ionescu, A.-M., Martín-Vide, C. (eds.) LATA 2009. LNCS, vol. 5457, pp. 326–337. Springer, Heidelberg (2009)Google Scholar
  5. 5.
    Höppner, M.: Eine Charakterisierung der Szilardsprachen und ihre Verwendung als Steuersprachen. In: Siefkes, D. (ed.) GI 1974. LNCS, vol. 26, pp. 113–121. Springer, Heidelberg (1975)Google Scholar
  6. 6.
    Greibach, S.A.: Remarks on blind and partially blind multicounter machines. Theoretical Computer Science, 311–324 (1978)Google Scholar
  7. 7.
    Kudlek, M., Martín-Vide, C., Păun, G.: Toward a formal macroset theory. In: Calude, C.S., Pun, G., Rozenberg, G., Salomaa, A. (eds.) Multiset Processing. LNCS, vol. 2235, pp. 123–133. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  8. 8.
    Mayr, E.W.: An algorithm for the general Petri net reachability problem. SIAM J. Comput. 13(3), 441–460 (1984)MathSciNetCrossRefzbMATHGoogle Scholar
  9. 9.
    Dassow, J., Păun, G.: Regulated rewriting in formal language theory. Springer, Heidelberg (1989)CrossRefzbMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Georg Zetzsche
    • 1
  1. 1.MIN-Faculty, Department InformatikUniversität HamburgHamburgGermany

Personalised recommendations