Un llenguatge de programació

Un llenguatge de programació és un llenguatge informàtic utilitzat per controlar el comportament d'una màquina, normalment un ordinador. Cada llenguatge té una sèrie de regles sintàctiques i semàntiques estrictes que cal seguir per escriure un programa informàtic, i que en descriuen l'estructura i el significat respectivament. Aquestes regles permeten especificar tant la classe de dades amb què treballarà el programa com les accions que realitzarà. Mentre que alguns llenguatges es defineixen per una especificació formal (un document), altres són definits oficiosament per una implementació concreta (un compilador).

Exemples:

expressió ::= àtom |llista
àtom      ::= nombre|símbol
nombre    ::= [+-]?['0'-'9']+
símbol    ::= ['A'-'Z''a'-'z'].*
llista    ::= '(' expressió* ')'

Tipus de llenguatges de programació: 

Paradigma imperatiu. Descriu la programació com a una seqüència d’instruccions o ordres que canvien l’estat d’un programa. Es basa en les ordres condicionals que permeten al programa reprendre un bloc d’ordres determinat si es compleix una condició. Aquests van ser els primers llenguatges de programació i és el paradigma en què es basa el llenguatge màquina (0 i 1).

Paradigma funcional/estructurat. La programació es divideix en blocs (procediments i funcions) que es poden comunicar entre si o no. Cada funció recull un procediment tancat i es podria entendre com un petit programa en si mateix.

Llenguatges interpretats. La màquina només entén el llenguatge binari. Els llenguatges interpretats són aquells que per definició no estan escrits en codi binari i que requereixen un programa auxiliar (l’intèrpret) que tradueix el llenguatge per tal que la màquina el pugui processar i executar.

Llenguatges compilats. En aquests llenguatges, un programa annex anomenat compilador fa el procés de transformació a un llenguatge intel·ligible per a la màquina, abans de la finalització del programa. L’arxiu resultant es pot executar sense la necessitat de cap altre programa intermediari; és el que s’anomena arxiu executable.

Els llenguatges de programació més usats

-El C és un llenguatge de programació orientat a la implementació de sistemes operatius, concretament UNIX.
- El Java és un llenguatge de programació que deriva principalment de C i C++, s’ha de compilar i es pot executar en qualsevol arquitectura gràcies a la màquina virtual Java (JVM). El Java és un llenguatge de propòsit general basat en classes i orientat a objectes.