Silbentrennung für 'termersetzungssystem'

Diese Seite zeigt, wie man die Silben von 'termersetzungssystem' 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 Termersetzungssysteme (TES) sind ein formales Berechnungsmodell in der Theoretischen Informatik. Sie bilden insbesondere die Grundlage der Logik- und funktionalen Programmierung. Ferner spielen sie eine wichtige Rolle beim Wortproblem und bei der Terminierungsanalyse. Termersetzungssysteme sind Mengen von Termersetzungsregeln. Diese Mengen kann man sich wie Gleichungssysteme zwischen Termen vorstellen, bei dem die Gleichungen nur von links nach rechts angewendet werden dürfen. BeispielDie oben stehenden Regeln bilden ein Termersetzungssystem, welches als die Addition zweier natürlicher Zahlen verstanden werden kann. Dies erfordert, dass man die Zahl 0 mit dem Term 0, die Zahl 1 mit dem Term succ(0), die Zahl 2 mit dem Term succ(succ(0)) usw. repräsentiert. Die Regeln besagen, dass beispielsweise jedes Vorkommen von plus ⁡ ( 0 , y ) {\displaystyle \operatorname {plus} (0,y)} in einem Term durch y {\displaystyle y} ersetzt werden darf. Dabei kann y {\displaystyle y} selbst ein beliebiger Term sein, muss also insbesondere auch keine natürliche Zahl darstellen. Termersetzungssysteme sind turingvollständig, stehen also, was die Berechnungsstärke angeht, anderen Formalismen wie den Turingmaschinen, dem Lambda-Kalkül oder Registermaschinen in nichts nach. Da sie vergleichsweise einfach strukturiert sind und von Computern gut gehandhabt werden können, stellen die Termersetzungssysteme ein wichtiges Hilfsmittel in der computergestützten Analyse von Algorithmen dar.

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