Silbentrennung für 'halteproblem'

Diese Seite zeigt, wie man die Silben von 'halteproblem' 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.

Das Halteproblem beschreibt eine Frage aus der theoretischen Informatik. Wenn für eine Berechnung mehrere Rechenschritte nach festen Regeln durchgeführt werden, entsteht eine Berechnungsvorschrift, ein sogenannter Algorithmus. Zur Ausführung von Algorithmen benutzt man in der theoretischen Informatik abstrakte Maschinen. Eine typische abstrakte Maschine ist die Turingmaschine. Das Halteproblem beschreibt die Frage, ob die Ausführung eines Algorithmus zu einem Ende gelangt. Obwohl das für viele Algorithmen leicht beantwortet werden kann, konnte der Mathematiker Alan Turing beweisen, dass es keinen Algorithmus gibt, der diese Frage für alle möglichen Algorithmen und beliebige Eingaben beantwortet. Diesen Beweis vollzog er an einer Turingmaschine. Das Halteproblem ist somit algorithmisch nicht entscheidbar. Das Resultat spielt eine grundlegende Rolle in der Berechenbarkeitstheorie. Der Begriff Halteproblem wurde nicht von Turing geprägt, sondern erst später durch Martin Davis in seinem Buch Computability and Unsolvability.

Obere Beschreibung aus dem Wikipedia-Artikel "halteproblem", 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!