Kurzfassung
Endliche akzeptierende Automaten, Zweiwegautomaten, Standardmengen und reguläre Mengen, sowie Syntaxdiagramme, Kellerautomaten und kontextfreie Sprachen werden von einem allgemeinen Standpunkt aus betrachtet und in Beziehung zur Spezifikation verteilter, nicht notwendig sequentieller Systeme gebracht. Auch auf eine in diesen Zusammenhang gehörige Verallgemeinerung der Petrinetze wird hingewiesen.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literaturhinweise
Bauer, F.L., Goos, G.: Informatik, Eine einführende Übersicht, Erster Teil, Dritte Auflage, Springer-Verlag, Berlin, etc., 1982.
Brauer, W.: Automatentheorie, Eine Einführung in die Theorie endlicher Automaten, Teubner, Stuttgart 1984.
Brauer, W.: Von der sequentiellen zur parallelen Verarbeitung, HMD — Theorie und Praxis der Wirtschaftsinformatik, 26. Jahrgang, Heft 150, November 1989, SS. 15–25
Engelfriet, J.: Simple Program Schemes and Formal Languages, Lect. Notes in Comp. Science, Bd. 20, Springer-Verlag, Berlin, etc., 1974
Kiehn, A.: A Structuring Mechanism for Petri Nets, Bericht TUM-I 8902, Institut für Informatik, Technische Universität München, 1989.
Kuich, W.: Systems of Pushdown Acceptors and Context-Free Grammars, Techn. Report TR 25. 077, IBM Laboratory Vienna, August 1967.
Reeker, L.H.: State graphs and context-free languages, in: Kohavi, Z., Paz, A. (eds.): Theory of Machines and Computations, Proc. Internat. Symp., Technion, Haifa Israel, Aug. 1971, Academic Press, New York, 1971, pp. 143–151
Reisig, W.: Petrinetze, 2. Auflage, Springer-Verlag, Berlin, etc., 1986.
Salomaa, A.K.: Formale Sprachen, Springer-Verlag, Berlin, etc., 1978.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Brauer, W. (1991). Graphen, Sprachen, Automaten Unter dem Blickwinkel der Spezifikation verteilter Systeme betrachtet. In: Broy, M. (eds) Informatik und Mathematik. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-76677-0_12
Download citation
DOI: https://doi.org/10.1007/978-3-642-76677-0_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-76678-7
Online ISBN: 978-3-642-76677-0
eBook Packages: Springer Book Archive