|
![]() ![]() ![]() ![]() ![]() |
Eine Programmiersprache wird durch zwei Komponenten definiert:
![]() | Die Syntax, die durch eine formelle Grammatik
beschrieben wird, spezifiziert welche Programmtexte zulässig
für die Programmiersprache sind und welche nicht.
|
![]() | Die Semantik beschreibt, welche Bedeutung Programmtexte
haben. Es gibt verschiedene formelle Methoden, die
Semantik einer Programmiersprache zu spezifizieren
(Beispiele: operationelle, denotationelle und
axiomatische Semantik), sehr häufig geschieht
dies jedoch informell.
|
![]() ![]() ![]() ![]() ![]() |
Copyright © 2004, 2005 Andreas Borchert, in HTML konvertiert am 18.02.2005 |