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 detaillierter ist, und den komplexen algorithmischen Strukturen der Computer gerecht wird.
Eine Programmiersprache enthält zum einen syntaktische, d.h. die äußere Form betreffende, und zum anderen semantische Strukturen. Unter der Semantik versteht man die genaue Bedeutung einzelner Elemente der Sprache. Mittlerweile gibt es ein große Anzahl verschiedener Programmiersprachen, von denen hier nur einige wichtige genannt und kurz erläutert werden sollen. Nicht den Programmiersprachen im eigentlichen Sinne zugehörig, werden an dieser Stelle auch die Begriffe HTML und Typo3 erklärt...