Silbentrennung für 'berechenbarkeitstheorie'

Diese Seite zeigt, wie man die Silben von 'berechenbarkeitstheorie' trennt.

Die Silbentrennung (oder Worttrennung) am Zeilenende erfolgt aus ökonomischen Gründen (ein Wort passt nicht mehr vollständig auf eine Zeile) und ästhetischen Gründen (die Seite wird gleichmäßiger gefüllt). In vielen Sprachen, darunter der deutschen Sprache, ist die Hauptgrundlage für die Worttrennung die Zerlegung zusammengesetzter Wörter in ihre Bestandteile und anschließende Zerlegung nach Silben.

Die Berechenbarkeitstheorie (auch Rekursionstheorie) ist ein Teilgebiet der theoretischen Informatik und der mathematischen Logik, die sich mit dem Begriff der Berechenbarkeit befasst, insbesondere damit, welche Probleme mit Hilfe einer Maschine (genauer: eines mathematischen Modells einer Maschine) oder eines anderen mathematischen Modells der Berechenbarkeit lösbar sind. Sie ist eng verwandt mit der formalen Semantik, richtet aber die Aufmerksamkeit mehr auf die Terminiertheit von Programmen und Algorithmen. Die zentrale Frage der Rekursionstheorie ist, welche Funktionen (bzw. Mengen) sich mit welchem Berechenbarkeitsmodell berechnen lassen. Es werden dazu Modelle für die Berechenbarkeit und deren Leistungsfähigkeit untersucht. Aus der Art der betrachteten Berechnungsmodelle ergibt sich eine unscharfe Abgrenzung zur Komplexitätstheorie, in der vor allem Berechnungsmodelle mit Ressourcenbeschränkung betrachtet werden. Schwerpunkt vieler Untersuchungen in der Rekursionstheorie ist die relative Berechenbarkeit von Funktionen, d. h., welche Funktionen lassen sich mit einer gegebenen Funktion unter Verwendung eines bestimmten Berechnungsmodells berechnen (siehe zum Beispiel unter Turinggrade).

Obere Beschreibung aus dem Wikipedia-Artikel "berechenbarkeitstheorie", lizensiert unter CC-BY-SA, Liste an Mitwirkenden auf Wikipedia.

Deutsch
- English (Englisch)

Sie möchten auch die Rechtschreibung Ihrer Texte prüfen? Nutzen Sie rechtschreibpruefung24.de kostenfrei!