Zusammenfassung
Nachdem wir den Begriff Berechenbarkeit formal präzisiert und festgelegt haben, wann ein Problem berechenbar ist, und ein universelles Berechenbarkeitsmodell zur Verfügung steht, interessiert die Frage, ob es nicht berechenbare Probleme gibt. In diesem Kapitel zeigen wir zunächst die Existenz unentscheidbarer Probleme und geben dann konkrete unentscheidbare Probleme, auch solche von praktischem Interesse, an. Für diese Betrachtungen werden wir die Begriffe entscheidbare (rekursive) und semientscheidbare (rekursiv-aufzählbare) Mengen einführen und benutzen.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2004 Friedr. Vieweg & Sohn Verlag/GWV Fachverlage GmbH, Wiesbaden
About this chapter
Cite this chapter
Vossen, G., Witt, KU. (2004). Entscheidbarkeit. In: Grundkurs Theoretische Informatik. Vieweg+Teubner Verlag. https://doi.org/10.1007/978-3-322-94309-5_10
Download citation
DOI: https://doi.org/10.1007/978-3-322-94309-5_10
Publisher Name: Vieweg+Teubner Verlag
Print ISBN: 978-3-528-23147-7
Online ISBN: 978-3-322-94309-5
eBook Packages: Springer Book Archive