Petri Net Algorithms in the Theory of Matrix Grammars
Jantzen, Matthias ; Hauschildt, Dirk
| URL | http://edoc.sub.uni-hamburg.de/informatik/volltexte/2009/27/ |
|---|---|
| Dokumentart: | Report (Bericht) |
| Schriftenreihe: | Berichte des Fachbereichs Informatik der Universität Hamburg |
| Bandnummer: | 167 |
| Sprache: | Englisch |
| Erstellungsjahr: | 1994 |
| Publikationsdatum: | 17.08.2009 |
| SWD-Schlagwörter: | Algorithmus , Grammatik , Matrix <Mathematik> |
| Freie Schlagwörter (Deutsch): | Petrinetze , Grammatik , Matrix , Algorithmen |
| Freie Schlagwörter (Englisch): | Petri Net Algorithms , Matrix Grammars, Petri Nets |
| DDC-Sachgruppe: | Informatik |
| BK - Klassifikation: | 31.12 , 54.10 |
Kurzfassung auf Englisch:
This paper shows that the languages over a one-letter alphabet generated by a context-free matrix grammar are always regular. Moreover we give a decision procedure for the question of whether a context-free matrix language is finite. Hereby we strengthen a result of [Mk 92] and settle a number of open questions in [DP 89]. Both results are obtained by a reduction to Petri net problems.
Hinweis zum Urherberrecht
Für Dokumente, die in elektronischer Form über Datenenetze angeboten werden, gilt uneingeschränkt das Urheberrechtsgesetz (UrhG). Insbesondere gilt:
Einzelne Vervielfältigungen, z.B. Kopien und Ausdrucke, dürfen nur zum privaten und sonstigen eigenen Gebrauch angefertigt werden (Paragraph 53 Urheberrecht). Die Herstellung und Verbreitung von weiteren Reproduktionen ist nur mit ausdrücklicher Genehmigung des Urhebers gestattet.
Der Benutzer ist für die Einhaltung der Rechtsvorschriften selbst verantwortlich und kann bei Mißbrauch haftbar gemacht werden.