Lenguaje De Programacion

Lenguaje de programación
Un lenguaje de programación es un idioma artificial diseñado para expresar computaciones que pueden ser llevadas a cabo por máquinas 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 por un conjunto de símbolos yreglas sintácticas y semánticas que definen su estructura y el significado de sus elementos y expresiones. Es el proceso por el cual se escribe, se prueba, se depura, se compila y se mantiene el código fuente de un programa informático.

También la palabra programación se define como el proceso de creación de un programa de computadora, mediante la aplicación de procedimientos lógicos, a travésde los siguientes pasos:
• El desarrollo lógico del programa para resolver un problema en particular.
• Escritura de la lógica del programa empleando un lenguaje de programación específico (codificación del programa).
• Ensamblaje o compilación del programa hasta convertirlo en lenguaje de máquina.
• Prueba y depuración del programa.
• Desarrollo de la documentación.
Permite especificar demanera 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. Una característica relevante de los lenguajes de programación es precisamente que más de un programador pueda usar un conjuntocomún de instrucciones que sean comprendidas entre ellos para realizar la construcción de un programa de forma colaborativa.
.Sintaxis
Es la forma visible de un lenguaje de programación. La mayoría de los lenguajes de programación son puramente textuales, es decir, utilizan secuencias de texto que incluyen palabras, números y puntuación y algunos lenguajes de programación que son más gráficosen su naturaleza, utilizando relaciones visuales entre símbolos para especificar un programa.
La sintaxis de un lenguaje de programación describe las combinaciones posibles de los símbolos que forman un programa sintácticamente correcto. El significado que se le da a una combinación de símbolos es manejado por su semántica. Este es un ejemplo de una gramática simple.
expresión ::= átomo | listaátomo ::= número | símbolo
número ::= [+-]?['0'-'9']+
símbolo ::= ['A'-'Z''a'-'z'].*
lista ::= '(' expresión* ')'
Con esta gramática se especifica lo siguiente:
 una expresión puede ser un átomo o una lista;
 un átomo puede ser un número o un símbolo;
 un número es una secuencia continua de uno o más dígitos decimales, precedido opcionalmente por un signo más o un signomenos;
 un símbolo es una letra seguida de cero o más caracteres (excluyendo espacios); y
 una lista es un par de paréntesis que abren y cierran, con cero o más expresiones en medio.
Algunos ejemplos de secuencias bien formadas de acuerdo a esta gramática:
'12345', '()', '(a b c232 (1))'
No todos los programas sintácticamente correctos son semánticamente correctos. Muchos programassintácticamente correctos tienen inconsistencias con las reglas del lenguaje; y pueden resultar en un error de traducción o ejecución. Puede tener un significado que no es el que la persona que lo escribió estaba tratando de construir.
Semántica estática
Define las restricciones sobre la estructura de los textos válidos que resulta imposible o muy difícil expresar mediante formalismos sintácticosestándar.
Sistema de tipos
Define la manera en la cual un lenguaje de programación clasifica los valores y expresiones en tipos, como pueden ser manipulados tipos y cómo interactúan. El objetivo de un sistema de tipos es verificar y poner en vigor un cierto nivel de exactitud en programas escritos en el lenguaje en cuestión, detectando ciertas operaciones inválidas. Rechaza muchos programas...