Zusammenfassung
Auf den ersten Blick könnte der Unterschied zwischen einem theoretischen Computermodell und der Computer-Hardware kaum größer sein. Das erste ist abstrakt, während das letztere konkret ist. Trotzdem ermöglicht uns ein theoretisches Modell, wenn man nur die herausragenden Punkte der Berechnung betont, die Stärken und Beschränkungen eines bestimmten Berechnungsschemas darzustellen. Obwohl seit dem Beginn der Informatik Hunderte von Berechnungsmodellen vorgeschlagen wurden, stellten sich alle als mehr oder weniger äquivalent zu einem der vier Hauptmodelle heraus: Endliche Automaten, Kellerautomaten (oder Pushdown-Automaten), linear beschränkte Automaten und Turing-Maschinen. Diese abstrakten Computer sind das Thema vier eigener Kapitel — Kapitel 2, 14, 26 und 31. In diesem Kapitel werden die vier Schemata als Variationen über ein einziges Thema betrachtet, das durch die in Abbildung 7.1 dargestellte schematische Maschine symbolisiert wird.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literatur
D. Wood. Theory of Computation. Harper and Row, New York, 1987.
D. I. A. Cohen. Introduction to Computer Theory. Wiley, New York, 1991.
L. Balke, K. H. Böhling. Einführung in die Automatentheorie und die Theorie der formalen Sprachen. BI, Mannheim, 1993.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Dewdney, A.K. (1995). Die Chomsky-Hierarchie. In: Der Turing Omnibus. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-78872-7_7
Download citation
DOI: https://doi.org/10.1007/978-3-642-78872-7_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57780-5
Online ISBN: 978-3-642-78872-7
eBook Packages: Springer Book Archive