Silbentrennung für 'entscheidbarkeit'

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

In der theoretischen Informatik heißt eine Eigenschaft auf einer Menge entscheidbar (auch rekursiv, rekursiv ableitbar), wenn es ein Entscheidungsverfahren für sie gibt. Ein Entscheidungsverfahren ist ein Algorithmus, der für jedes Element der Menge beantworten kann, ob es die Eigenschaft hat oder nicht. Wenn es „kein“ solches Entscheidungsverfahren gibt, dann nennt man die Eigenschaft unentscheidbar. Als Entscheidungsproblem bezeichnet man die Frage, ob und wie für eine gegebene Eigenschaft ein Entscheidungsverfahren formuliert werden kann. Während die wichtigsten syntaktischen Eigenschaften von Programmen entscheidbar sind, sind im Allgemeinen nach dem Satz von Rice beliebige (nichttriviale) semantische Eigenschaften von Programmen unentscheidbar, zum Beispiel die Terminierung eines Programmes auf einer Eingabe (Halteproblem) oder die Funktionsgleichheit zweier Programme (Äquivalenzproblem). Ursprünglich speziell für die Gültigkeit von Formeln gemeint, wird der Begriff inzwischen für beliebige Eigenschaften auf abzählbaren Mengen verwendet. Der Begriff des Algorithmus setzt ein Berechnungsmodell voraus; wenn nichts Abweichendes gesagt wird, sind die Turingmaschinen oder ein gleichwertiges Modell gemeint.

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