Programmierung
Eine Programmiersprache ist eine formale Sprache, die zur Erstellung von Verarbeitungsanweisungen für Rechnersysteme verwendet wird. Die Berechnungen in einem Computer können so in einer für den Menschen lesbaren und verständlichen Form notiert werden.
Programmiersprachen sind notwendig, da die natürlichen Sprachen oder natürliche Zahlen (s. u.) für eine genügend detaillierte und präzise Beschreibung von algorithmischen Computerberechnungen zu vieldeutig und nicht formal genug sind oder nicht für den Menschen verständlich sind.
Die Entwicklung von Programmiersprachen selbst ist eine Aufgabe der Informatik. Die syntaktische Definition einer Sprache wird meist in der formalen Notation Backus-Naur-Form sowie Kontextbedingungen angegeben. Eine vollständige Spezifikation einer Programmiersprache in einem einzigen Kalkül ist Forschungsgebiet und erst ansatzweise gelungen.
Die durch eine Programmiersprache ausgedrückte, von einem Menschen lesbare Beschreibung heißt Quelltext (oder auch Quellcode/Programmcode) (Beispiel „Hallo Welt!“). Jeder Benutzer muss die Bearbeitung von Problemen, die er einem Computer übergibt, in einem Programm formulieren. Das Erstellen dieser Computerprogramme nennt man Programmieren und den Ersteller Programmierer, wenn das Programmieren industriell erfolgt auch Softwaretechniker. Der entstandene Quelltext wird anschließend in eine Anweisungsfolge für den Computer übersetzt, die Maschinensprache des Computers auf dem das Programm läuft.