Da unsere natürliche Sprache zu allgemein und in vielen Bereichen nicht eindeutig ist, benötigt man für die Kommunikation mit Computer- bzw. Rechnersystemen eine Sprache, welche wesentlicher detaillierter ist und dem mathematischem Verständnis eines Computers in möglichst allen Fällen gerecht wird.
Eine Programmiersprache enthält zum einen syntaktische, d.h. die äußere Form betreffende, und zum anderen semantische Strukturen. Unter Semantik versteht man die genaue Bedeutung einzelner Elemente der Sprache. Mittlerweile gibt eine ganze Reihe unterschiedlicher Programmiersprachen, von denen hier nur einige wenige genannt und kurz erläutert werden sollen...