Petri Net Algorithms in the Theory of Matrix Grammars

;

URL
Dokumentart: Report (Bericht)
Schriftenreihe: Berichte des Fachbereichs Informatik der Universität Hamburg
Bandnummer: 167
Sprache: Englisch
Erstellungsjahr: 1994
Publikationsdatum:
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.