Tag: formal-semantics

In der Programmiersprache Theorie, der Semantik ist der Bereich befasst sich mit der mathematisch rigorose Untersuchung der Bedeutung von Programmiersprachen. Es tut dies durch die Bewertung der Bedeutung von syntaktisch zulässige Zeichenfolgen definiert, die von einer bestimmten Programmiersprache, zeigt die Berechnung einbezogen. In einem solchen Fall, dass die Bewertung der syntaktisch illegalen strings, das Ergebnis wäre nicht-Berechnung.