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 semi-entscheidbare (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
© 2000 Springer Fachmedien Wiesbaden
About this chapter
Cite this chapter
Vossen, G., Witt, KU. (2000). Entscheidbarkeit. In: Grundlagen der Theoretischen Informatik mit Anwendungen. Lehrbuch. Vieweg+Teubner Verlag, Wiesbaden. https://doi.org/10.1007/978-3-322-96838-8_10
Download citation
DOI: https://doi.org/10.1007/978-3-322-96838-8_10
Publisher Name: Vieweg+Teubner Verlag, Wiesbaden
Print ISBN: 978-3-528-03147-3
Online ISBN: 978-3-322-96838-8
eBook Packages: Springer Book Archive