Enzyklopädie > M > Maschinensemantik
Maschinensemantik
Unter der Semantik einer Maschine versteht man das Zusammenspiel der operationalen Semantik mit der Ein- und Ausgabecodierung einer realen oder abstrakten Maschine, so dass sich das Ergebnis einer Berechnung zweifelsfrei bestimmen lässt. Sie stellt damit einen typischen Anwendungsfall für eine formale Semantik in der theoretischen Informatik dar und wird insbesondere für Korrektheitsbeweise bei der Analyse von Maschinen verwendet.
Mehr Informationen (Wikipedia)
Die Informationen wurden von Wikipedia übernommen, einer offenen Enzyklopädie in welche Freiwillige ihre Beiträge beisteuern.
Die Texte sind unter den Bedingungen der GNU Free Documentation License zugänglich.Encyklopedie (cz) Encyklopédia (sk) Encyclopedia (en)