Auszug
In den vergangenen Kapiteln wurden zunehmend komplexere Klassen von formalen Sprachen vorgestellt. Zu diesen Sprachklassen gehörten immer komplexere Typen von erkennenden Automaten, angefangen von endlichen Automaten über determinierte und indeterminierte Push-Down-Automaten bis zu Turing-Maschinen mit begrenztem Band (linear beschränkten Automaten) oder ohne solche Beschränkung. Alle diese Automatenmodelle haben einen internen Zustand, der endlich viele verschiedene Werte annehmen kann. Sie unterscheiden sich darin, ob und in welcher Form sie die Möglichkeit haben, außerhalb des Zustands noch Information zu speichern. Der einfachste Automatentypus, der endliche Automat, hat keinen Informationsspeicher außer dem Zustand. Das komplexeste Automatenmodell, die Turing-Maschine, hat neben dem Zustand ein potentiell unendlich langes Band, auf das sie lesend und schreibend zugreift; sie kann ihren Schreib-/Lesekopf zwar beliebig, aber pro Schritt nur ein Feld hin und her bewegen.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
(2008). Einleitung. In: Theoretische Informatik. eXamen.press. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-76320-8_10
Download citation
DOI: https://doi.org/10.1007/978-3-540-76320-8_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-76319-2
Online ISBN: 978-3-540-76320-8
eBook Packages: Computer Science and Engineering (German Language)