Tipos Lenguajes de los Programacion

Un lenguaje de programación 

Es un lenguaje de programación formal o lengua construida diseñado para comunicar instrucciones a una máquina, en particular un ordenador. Los lenguajes de programación pueden ser utilizados para crear programas para controlar el comportamiento de una máquina o para expresar algoritmos.

La máquina programable antiguo que se conoce precedió a la invención de la computadora digital y es el jugador de flauta automática descrito en el siglo noveno por el hermanos Musa en Bagdad, en el momento de un importante centro de conocimiento. 

Desde principios de 1800, "programas" se utilizan para dirigir el comportamiento de máquinas tales como telares Jacquard y pianolas. Miles de diferentes lenguajes de programación se han creado, principalmente en el campo de la informática, y muchos más todavía están siendo creados cada año. Muchos lenguajes de programación requieren cálculos se especifica en una forma imperativa (es decir, como una secuencia de operaciones a realizar), mientras que otros lenguajes que utilizan otras formas de perfil de formación, tales como la forma declarativa (es decir, se especifica el resultado deseado, no la forma de lograr eso)

La descripción de un lenguaje de programación por lo general se divide en los dos componentes de la sintaxis (forma) y la semántica (significado). 

Algunas lenguas están definidas por un documento de especificación (por ejemplo, el lenguaje de programación C es indicado por la norma ISO), mientras que otros idiomas (como Perl) tienen una aplicación dominante que se trata como una referencia. Algunas lenguas tienen ambos, con el lenguaje básico definido por un estándar y extensiones tomadas de la aplicación dominante es común.

El lenguaje de máquina o código máquina 

Es el sistema de códigos directamente interpretable por un circuito microprogramable, como el microprocesador de una computadora o el micro controlador de un autómata. Este lenguaje está compuesto por un conjunto de instrucciones que determinan acciones a ser tomadas por la máquina. Un programa consiste en una cadena de estas instrucciones más un conjunto de datos sobre el cual se trabaja. Estas instrucciones son normalmente ejecutadas en secuencia, con eventuales cambios de flujo causados por el propio programa o eventos externos. El lenguaje de máquina es específico de la arquitectura de la máquina, aunque el conjunto de instrucciones disponibles pueda ser similar entre arquitecturas distintas.

Los circuitos microprogramables son digitales, lo que significa que trabajan con dos únicos niveles de tensión. Dichos niveles, por abstracción, se simbolizan con los números 0 y 1, por eso el lenguaje de máquina sólo utiliza dichos signos. Esto permite el empleo de las teorías del álgebra booleana y del sistema binario en el diseño de este tipo de circuitos y en su programación.

Una visión típica de la arquitectura de computadoras como una serie de capas de abstracción: hardware, firmware, ensamblador, kernel, sistema operativo y aplicaciones.

Claude Elwood Shannon, en su libro Analysis of Relay and Switching Circuits, y con sus experiencias en redes de conmutación, sentó las bases para la aplicación del álgebra de Boole a las redes de conmutación. Una red de conmutación es un circuito de interruptores eléctricos que al cumplir ciertas combinaciones booleanas con las variables de entrada, define el estado de la salida. Este concepto es el núcleo de las puertas lógicas, las cuales son, por su parte, los ladrillos con que se construyen sistemas lógicos cada vez más complejos. Shannon utilizaba el relé como dispositivo físico de conmutación en sus redes, dado que el relé, a igual que una lámpara eléctrica, posee dos estados: activado (encendido) o desactivado (apagado).

El desarrollo tecnológico ha permitido evolucionar desde las redes de relés electromagnéticos a circuitos con tubos de vacío, luego a redes transistorizadas, hasta llegar a los modernos circuitos integrados, en cuya cúspide se encuentran los circuitos microprogramados.