LENGUAJE DE PROGRAMACION

Un lenguaje de programacin es un lenguaje diseado para describir el conjunto de

acciones consecutivas que un equipo debe ejecutar. Por lo tanto, un lenguaje de

programacin es un modo prctico para que los seres humanos puedan dar
instrucciones a un equipo.

Los lenguajes que los equipos usan para comunicarse entre ellos no tienen nada que ver
con los lenguajes de programacin; se los conoce como protocolos de comunicacin. Se
trata de dos conceptos totalmente diferentes. Un lenguaje de programacin es muy
estricto:

El lenguaje utilizado por el procesador se denomina lenguaje mquina. Se trata de

datos tal como llegan al procesador, que consisten en una serie de 0 y 1 (datos
binarios).

El lenguaje mquina, por lo tanto, no es comprensible para los seres humanos, razn
por la cual se han desarrollado lenguajes intermediarios comprensibles para el
hombre.
El cdigo escrito en este tipo de lenguaje se transforma en cdigo mquina para que el
procesador pueda procesarlo.

El ensamblador fue el primer lenguaje de programacin utilizado. Es muy similar al

lenguaje mquina, pero los desarrolladores pueden comprenderlo.
No obstante, este lenguaje se parece tanto al lenguaje mquina que depende
estrictamente del tipo de procesador utilizado (cada tipo de procesador puede tener su
propio lenguaje mquina).
As, un programa desarrollado para un equipo no puede ser portado a otro tipo de
equipo.
El trmino "portabilidad" describe la capacidad de usar un programa de software en
diferentes tipos de equipos. Para poder utilizar un programa de software escrito en un
cdigo ensamblador en otro tipo de equipo, a veces ser necesario volver a escribir
todo el programa
Por lo tanto, un lenguaje de programacin tiene varias ventajas:

Es mucho ms fcil de comprender que un lenguaje mquina:

Permite mayor portabilidad, es decir que puede adaptarse fcilmente para
ejecutarse en diferentes tipos de equipos.

En base al procesamiento de sus comandos, los lenguajes de programacin se

dividen en dos grupos principales

Lenguajes imperativos;

Lenguajes funcionales.

Lenguaje de programacin imperativo:

Un lenguaje imperativo programa mediante una serie de comandos, agrupados en
bloques y compuestos de rdenes condicionales que permiten al programa retornar a
un bloque de comandos si se cumple la condicin.
Estos fueron los primeros lenguajes de programacin en uso y an hoy muchos
lenguajes modernos usan este principio.
No obstante, los lenguajes imperativos estructurados carecen de flexibilidad debido a
la secuencialidad de las instrucciones.

Lenguaje de programacin funcional

Lenguaje de programacin funcional: Un lenguaje de programacin funcional(a
menudo llamado lenguaje procedimental) es un lenguaje que crea programas
mediante funciones, devuelve un nuevo estado de resultado y recibe como entrada el
resultado de otras funciones. Cuando una funcin se invoca a s misma, hablamos de
recursividad.

Tambin pueden dividirse en dos categoras:

Lenguajes interpretados
Lenguajes compilados

Lenguaje interpretado:

Un lenguaje de programacin es, por definicin, diferente al lenguaje mquina.

Por lo tanto, debe traducirse para que el procesador pueda comprenderlo. Un programa escrito
en un lenguaje interpretado requiere de un programa auxiliar (el intrprete), que traduce los
comandos de los programas segn sea necesario.

Lenguaje compilado:
Un programa escrito en un lenguaje "compilado" se traduce a travs de un programa
anexo llamado compilador que, a su vez, crea un nuevo archivo independiente que no
necesita ningn otro programa para ejecutarse a s mismo. Este archivo se
llama ejecutable.
Un programa escrito en un lenguaje compilado posee la ventaja de no necesitar un
programa anexo para ser ejecutado una vez que ha sido compilado. Adems, como
slo es necesaria una traduccin, la ejecucin se vuelve ms rpida.
Sin embargo, no es tan flexible como un programa escrito en lenguaje interpretado, ya
que cada modificacin del archivo fuente (el archivo comprensible para los seres
humanos: el archivo a compilar) requiere de la compilacin del programa para aplicar
los cambios.
Por otra parte, un programa compilado tiene la ventaja de garantizar la seguridad del
cdigo fuente. En efecto, el lenguaje interpretado, al ser directamente un lenguaje
legible, hace que cualquier persona pueda conocer los secretos de fabricacin de un
programa y, de ese modo, copiar su cdigo o incluso modificarlo.
Por lo tanto, existe el riesgo de que los derechos de autor no sean respetados. Por
otro lado, ciertas aplicaciones aseguradas necesitan confidencialidad de cdigo para
evitar las copias ilegales (transacciones bancarias, pagos en lnea, comunicaciones
seguras).

Lenguajes intermediarios:
Algunos lenguajes pertenecen a ambas categoras (LISP, Java, Python...) dado que el
programa escrito en estos lenguajes puede, en ciertos casos, sufrir una fase de compilacin
intermediaria, en un archivo escrito en un lenguaje ininteligible (por lo tanto diferente al archivo
fuente) y no ejecutable (requerira un intrprete).

Los applets Java, pequeos programas que a menudo se cargan en pginas web, son archivos
compilados que slo pueden ejecutarse dentro de un navegador web (son archivos con la
extensin .class).

Algunos programas ampliamente usados:

A continuacin, encontrar una breve lista de los lenguajes de programacin actuales:

Lenguaje

Principal rea de aplicacin

Compilado/interpretado

ADA

Tiempo real

Lenguaje compilado

BASIC

Programacin para fines educativos

Lenguaje interpretado

Programacin de sistema

Lenguaje compilado

C++

Programacin de sistema orientado a

objeto

Lenguaje compilado

Cobol

Administracin

Lenguaje compilado

Fortran

Clculo

Lenguaje compilado

Java

Programacin orientada a Internet

Lenguaje intermediario

MATLAB

Clculos matemticos

Lenguaje interpretado

Clculos
matemticos

Clculos matemticos

Lenguaje interpretado

LISP

Inteligencia artificial

Lenguaje intermediario

Pascal

Educacin

Lenguaje compilado

PHP

Desarrollo de sitios web dinmicos

Lenguaje interpretado

Inteligencia artificial

Inteligencia artificial

Lenguaje interpretado

Perl

Procesamiento de cadenas de caracteres

Lenguaje interpretado

Elementos de un lenguaje de programacin:

Variables y vectores

Las variables podran calificarse como contenedores de datos y por ello se diferencian
segn los tipos de datos que son capaces de almacenar.
En la mayora de lenguajes de programacin se requiere especificar un tipo de
variable concreto para guardar un dato concreto.
Por ejemplo, en Java, si deseamos guardar una cadena de texto deberemos
especificar que la variable es del tipo String.
Por otra parte, en lenguajes como el PHP este tipo de especificacin de variables no
Es necesario. Adems, existen variables compuestas por varias variables llamadas
vectores.
Un vector no es ms que un conjunto de variables consecutivas en memoria y del
mismo tipo guardadas dentro de un variable contenedor.
A continuacin, un listado con los tipos de variables y vectores ms comunes:

Variables tipo Char: Estas variables contienen un nico carcter, es decir, una
letra, un signo o un nmero.

Variables tipo Int: Contienen un nmero entero.

Variables tipo float: Contienen un nmero decimal.

Variables tipo String: Contienen cadenas de texto, o lo que es lo mismo, es un

vector con varias variables del tipo Char.

Variables del tipo Boolean: Solo pueden contener un 0 o un 1. El cero es

considerado para muchos lenguajes como el literal "False", mientras que el 1 se
considera "True".

Condicionantes
Los condicionantes son estructuras de cdigo que indican que, para que cierta parte
del programa se ejecute, deben cumplirse ciertas premisas; por ejemplo: que dos
valores sean iguales, que un valor exista, que un valor sea mayor que otro.
Estos condicionantes por lo general solo se ejecutan una vez a lo largo del programa.
Los condicionantes ms conocidos y empleados en programacin son:

If: Indica una condicin para que se ejecute una parte del programa.

Else if: Siempre va precedido de un "If" e indica una condicin para que se
ejecute una parte del programa siempre que no cumpla la condicin del if previo y si
se cumpla con la que el "else if" especifique.

Else: Siempre precedido de "If" y en ocasiones de "Else If". Indica que debe
ejecutarse cuando no se cumplan las condiciones prvias.

Bucles:
Los

bucles

son

parientes

cercanos

de

los

condicionantes,

pero

ejecutan

constantemente un cdigo mientras se cumpla una determinada condicin. Los ms

frecuentes son:

For: Ejecuta un cdigo mientras una variable se encuentre entre 2

determinados parmetros.

While: Ejecuta un cdigo mientras se cumpla la condicin que solicita.

Hay que decir que a pesar de que existan distintos tipos de bucles, ambos son
capaces de realizar exactamente las mismas funciones. El empleo de uno u otro
depende, por lo general, del gusto del programador.

Funciones
Las funciones se crearon para evitar tener que repetir constantemente fragmentos de cdigo.
Una funcin podra considerarse como una variable que encierra cdigo dentro de s.
Por lo tanto cuando accedemos a dicha variable (la funcin) en realidad lo que estamos es
diciendo al programa que ejecute un determinado cdigo predefinido anteriormente.
Todos los lenguajes de programacin tienen algunos elementos de formacin primitivos
para la descripcin de los datos y de los procesos o transformaciones aplicadas a estos
datos (tal como la suma de dos nmeros o la seleccin de un elemento que forma parte de
una coleccin).
Estos elementos primitivos son definidos por reglas sintcticas y semnticas que describen
su estructura y significado respectivamente.

 Sintaxis:
A la forma visible de un lenguaje de programacin se le conoce como sintaxis. La mayora
de los lenguajes de programacin son puramente textuales, es decir, utilizan secuencias
de texto que incluyen palabras, nmeros y puntuacin, de manera similar a los lenguajes
naturales escritos.
Por otra parte, hay algunos lenguajes de programacin que son ms grficos en su
naturaleza, utilizando relaciones visuales entre smbolos para especificar un programa.
La sintaxis de un lenguaje de programacin describe las combinaciones posibles de los
smbolos que forman un programa sintcticamente correcto.
El significado que se le da a una combinacin de smbolos es manejado por su semntica
(ya sea formal o como parte del cdigo duro de la referencia de implementacin). Dado
que la mayora de los lenguajes son textuales, este artculo trata de la sintaxis textual.
La sintaxis de los lenguajes de programacin es definida generalmente utilizando una
combinacin de expresiones regulares (para la estructura lxica) y la Notacin de
BackusNaur (para la estructura gramtica). Este es un ejemplo de una gramtica simple,
tomada de Lisp: