1.3 Lenguaje de programación

En computación, un programa es una secuencia de instrucciones que permiten a un ordenador procesar una información conocida como datos de entrada (input) para producir una información de salida (ouput) o resultados.

Esas instrucciones pertenecen a (o están escritas en) un lenguaje de programación determinado.

Un lenguaje de programación es una construcción mental del ser humano para expresar programas. Está constituido por un grupo de reglas gramaticales, un grupo de símbolos utilizables, un grupo de términos monosémicos (es decir, con sentido único) y una regla principal que resume las demás. Para que ésta construcción mental sea operable en un computador debe existir otro programa que controle la validez o no de lo escrito. A éste se le llama traductor.

Los lenguajes pueden ser de alto o bajo nivel. En los de bajo nivel las instrucciones son simples y cercanas al funcionamiento de la máquina, como por ejemplo el código máquina y el ensamblador. En los lenguajes de alto nivel hay un alto grado de abstracción y el lenguaje es más próximo a los humanos, como por ejemplo Léxico, PASCAL, Cobol o Java .

Los programas escritos en un lenguaje deben ser "entendidos" por los circuitos físicos de la máquina para poder ser ejecutados. Según que esta traducción se realice produciendo previamente o no una versión independiente de la herramienta utilizada los lenguajes se llaman compilados o interpretados. En el primer caso a la versión independiente producida se le conoce como código o programa ejecutable, no es legible para el usuario y usualmente se le identifica

con la extensión de nombre ".exe" (en sistemas Windows). En el segundo caso no se construye otra versión razón por la cual ha de distribuirse el programa original llamado código o programa fuente y el usuario debe poseer también la herramienta con la cual se ha programado y que interpreta ese código.

Ejemplo de lenguaje (java).