LENGUAJES EXPERTOS, COMPILADO, INTERPRETADO, DECLARATIVOS Y DESCRIPCIÓN DE MAQUINA

Lenguaje Experto

Un lenguaje informático o sistema de programación de aplicaciones diseñado para crear programas, bases de datos y materiales para enseñanza asistida por ordenador.Los lenguajes LISP (uno de los más antiguos y en su tiempo más influyentes lenguajes de programación), SCHEME y Prolog son algunos ejemplos de lenguajes expertos, aunque hay una gran abundancia de lenguajes expertos desarrollados para cada aplicación específica que, según los casos, toman como base la filosofía y la base sintáctica de los anteriores, o de otros de aplicación más general. 

LENGUAJE COMPILADO

Un lenguaje compilado es término un tanto impreciso para referirse a un lenguaje de programación que típicamente se implementa mediante un compilador. Esto implica que una vez escrito el programa, éste se traduce a partir de su código fuente por medio de un compilador en un archivo ejecutable para una determinada plataforma (por ejemplo Solaris para Sparc, Windows NT para Intel, etc.).
Los lenguajes compilados son lenguajes de alto nivel en los que las instrucciones se traducen del lenguaje utilizado a código máquina para una ejecución rápida. 

LENGUAJE INTERPRETADO

Un lenguaje interpretado es un lenguaje de programación que está diseñado para ser ejecutado por medio de un intérprete, en contraste con los lenguajes compilados. Teóricamente, cualquier lenguaje puede ser compilado o ser interpretado, así que esta designación es aplicada puramente debido a la práctica de implementación común y no a alguna característica subyacente de un lenguaje en particular. Sin embargo, hay lenguajes que son diseñados para ser intrínsecamente interpretativos, por lo tanto un compilador causará una carencia de la eficacia.

LENGUAJE DECLARATIVO

La Programación Declarativa, en contraposición a la programación imperativa es un paradigma de programación que está basado en el desarrollo de programas especificando o "declarando" un conjunto de condiciones, proposiciones, afirmaciones, restricciones, ecuaciones o transformaciones que describen el problema y detallan su solución. La solución es obtenida mediante mecanismos internos de control, sin especificar exactamente cómo encontrarla (tan sólo se le indica a la computadora que es lo que se desea obtener o que es lo que se está buscando). No existen asignaciones destructivas, y las variables son utilizadas con Transparencia referencial

DESCRIPCIÓN DE MAQUINA

(machine code). El lenguaje máquina es el único lenguaje que puede ejecutar una computadora. El lenguaje de máquina es un código que es interpretado directamente por el microprocesador.

El lenguaje está compuesto por un conjunto de instrucciones ejecutadas en secuencia (con eventuales cambios de flujo causados por el propio programa o eventos externos) que representan acciones que la máquina podrá tomar.Un lenguaje máquina es específico de cada arquitectura de computadora.Todo código fuente en última instancia debe llevarse a un lenguaje máquina mediante el proceso decompilación o interpretación para que la computadora pueda ejecutarlo.