https://wiki-de.moshellshocker.dns64.de/index.php?action=history&feed=atom&title=Auswertung_%28Informatik%29 2026-06-26T11:15:53Z Versionsgeschichte dieser Seite in Wikipedia (Deutsch) – Lokale Kopie MediaWiki 1.43.8 https://wiki-de.moshellshocker.dns64.de/index.php?title=Auswertung_(Informatik)&diff=264410&oldid=prev 2024-11-01T01:06:45Z

<p><span class="autocomment">growthexperiments-addlink-summary-summary:1|0|2</span></p> <p><b>Neue Seite</b></p><div>&#039;&#039;&#039;Auswertung&#039;&#039;&#039; (engl. &#039;&#039;evaluation&#039;&#039; als Beschreibung, Analyse und Bewertung) bezeichnet in der Informatik den Vorgang, der einem [[Ausdruck (Programmierung)|Ausdruck]] (eventuell in einem gegebenen Kontext von [[Variable (Logik)|Variablenbindungen]]) einen [[Wert]] zuordnet.<br /> <br /> [[Programmiersprache]]n sind nach ihrer Auswertungsstrategie unterscheidbar:<br /> *Bei &#039;&#039;strenger Auswertung&#039;&#039; oder &#039;&#039;strikter Auswertung&#039;&#039; (engl. &#039;&#039;eager&#039;&#039; bzw. &#039;&#039;[[strict evaluation]]&#039;&#039;) werden Ausdrücke sofort ausgewertet. Zum Beispiel bei der Berechnung einer Funktion werden bei strikter Auswertung erst die Argumentausdrücke ausgewertet, bevor der [[Funktionsrumpf]] ausgewertet wird.<br /> *Dem gegenüber steht die &#039;&#039;Bedarfsauswertung&#039;&#039; oder &#039;&#039;verzögerte Auswertung&#039;&#039; (engl. &#039;&#039;[[Lazy Evaluation]]&#039;&#039;), bei der Ausdrücke erst ausgewertet werden, wenn deren Wert in einer Berechnung benötigt wird. Dadurch lassen sich z.&amp;nbsp;B. unendlich große [[Datenstruktur]]en (z.&amp;nbsp;B. die Liste aller natürlicher Zahlen, die Liste aller Primzahlen usw.) definieren und bestimmte Algorithmen vereinfachen sich. Diese Datenstrukturen bezeichnet man als [[Datenstrom|Ströme]] (engl. &#039;&#039;streams&#039;&#039;).<br /> <br /> Manche Berechnungen lassen sich mit strenger Auswertung, andere mit Bedarfsauswertung effizienter ausführen.<br /> <br /> Bei der Auswertung von Funktionen mit mehreren Argumenten besteht ein weiterer Freiheitsgrad darin, in welcher Reihenfolge die Argumente ausgewertet werden. In der [[Theoretische Informatik|Theoretischen Informatik]] ([[Lambda-Kalkül]]) wird formal gezeigt, dass die Reihenfolge der Auswertung keine Rolle spielt beim berechneten Wert eines Ausdrucks, so er denn ausgewertet werden kann; siehe auch [[Currying|Currying bzw. Schönfinkeln]].<br /> <br /> Die Anwendung der Funktion (bzw. Funktionsdefinition) auf ihre Argumente bezeichnet man auch als &#039;&#039;Applikation&#039;&#039;.<br /> <br /> Eng verwandt mit dem Begriff der Auswertung ist der Begriff der [[Semantik]], das ist eine Abbildung, die einem Programm (meistens ein Programmtext bzw. Quellcode) seine [[Berechenbarkeit|berechenbare]] Funktion zuordnet. Dieses stimmt mit der umgangssprachlichen Deutung des Begriffs Semantik als Bedeutungszuordnung gut überein.<br /> <br /> [[Kategorie:Compilerbau]]<br /> [[Kategorie:Programmiersprachelement]]</div>

imported>-haznK