Los lenguajes de programación

Los lenguajes de programación son idiomas artificiales diseñados para expresar computaciones que puedan ser llevados a cabo por maquinas como las computadoras. Pueden usarse para crear programas que controlen el comportamiento físico y lógico de una máquina, para expresar algoritmos con precisión, o como modo de comunicación humana.

Está formado de un conjunto de símbolos y reglas sintácticas y semánticas que definen su estructura y el significado de sus elementos y expresiones. Existe un error común que trata por sinónimos los términos “lenguaje de programación” y “lenguaje informático”. Los lenguajes informáticos engloban a los lenguajes de programación y a otros más, como por ejemplo el HTML. (Lenguaje para el marcado de páginas web que no es propiamente un lenguaje de programación sino un conjunto de instrucciones que permiten diseñar el contenido y el texto de los documentos)

Permite especificar de manera precisa sobre qué datos debe operar una computadora, cómo deben ser almacenados o transmitidos y qué acciones debe tomar bajo una variada gama de circunstancias. Todo esto, a través de un lenguaje que intenta estar relativamente próximo al lenguaje humano o natural, tal como sucede con el lenguaje Léxico. Una característica relevante de los lenguajes de programación es precisamente que más de un programador puedan tener un conjunto común de instrucciones que puedan ser comprendidas entre ellos para realizar la construcción del programa de forma colaborativa.

Los procesadores usados en las computadoras entienden únicamente instrucciones en lenguaje de máquina. Todo programa escrito en otro lenguaje puede ser ejecutado de dos maneras:

• Mediante un programa que va adaptando las instrucciones conforme son encontradas. A este proceso se lo llama interpretar y a los programas que lo hacen se los conoce como intérpretes. Ejemplos de esto son bash, clásico interprete de comandos en estaciones unix que fue escrito para el proyecto GNU o Python, intérprete multipropósito.

• Traduciendo el código escrito del programa (lo que se denomina código fuente), a su equivalente en lenguaje máquina. A este proceso se le llama compilar y al programa traductor se le denomina compilador. Ejemplos de esto son: El lenguaje C, que combina en su sintaxis característica de medio y bajo nivel y el compilador gcc usado en el proyecto GNU.

En definitiva, los lenguajes de programación fueron creados debido a la dificultad que había para trabajar en código binario o código objeto, teniendo un código fuente, se puede traducir sin mayor dificultad en cualquier computador por un compilador.