Es el sistema de códigos interpretable directamente por un
circuito microprogramable, como el microprocesador de una
computadora. Este lenguaje se compone de un conjunto de
instrucciones que determinan acciones que serán realizadas por la
máquina. Y un programa de computadora consiste en una cadena
de estas instrucciones de lenguaje de máquina. Normalmente
estas instrucciones son ejecutadas en secuencia, con eventuales
cambios de flujo causados por el propio programa o eventos
externos. El lenguaje máquina es específico de cada máquina o
arquitectura de la máquina, aunque el conjunto de instrucciones
disponibles pueda ser similar entre ellas.
Lenguaje de bajo nivel
Un lenguaje de programación de bajo nivel es el que
proporciona poca o ninguna abstracción del microprocesador
de una computadora. Consecuentemente, su trasladado al
lenguaje máquina es fácil. El término ensamblador del inglés
assembler se refiere a un tipo de programa informático
encargado de traducir un archivo fuente, escrito en un
lenguaje ensamblador, a un archivo objeto que contiene
código máquina ejecutable directamente por la máquina para
la que se ha generado.
Lenguaje de alto nivel
Los lenguajes de programación de alto nivel se caracterizan porque su
estructura semántica es muy similar a la forma como escriben los humanos, lo
que permite codificar los algoritmos de manera más natural, en lugar de
codificarlos en el lenguaje binario de las máquinas, o a nivel de lenguaje
ensamblador, estos son unos de los lenguajes de alto nivel más usados
C++
Java
Python
Fortran
Fue desarrollado en la década de 1950 y es empleado activamente
desde entonces. Acrónimo de formula translator, Fortran se utiliza
principalmente en aplicaciones científicas y análisis numérico.
Fue hecho por Guido van Rossum en 1990. En la actualidad se
desarrolla como un proyecto de código abierto administrado por la
Python Software Foundation. La última versión estable del
lenguaje es la 2.5 (septiembre 2006).
Lenguaje de programación orientado a objetos desarrollado por
Sun Microsystems a principios de 1990. Las aplicaciones Java están
típicamente compiladas en un bytecode, aunque la compilación en
código máquina nativo también es posible.
Fue diseñado a mediados de la década de 1980 por Bjarne
Stroustrup. Abarca dos paradigmas de la programación: la
estructurada y la orientada a objetos.
Otro tipo de clasificación de lenguaje de clasificación
Lenguajes declarativos
Los programas se construyen
mediante descripciones de
funciones o expresiones
lógicas (Lisp, Prolog).
Lenguajes imperativos
Emplean instrucciones
como unidad de trabajo
de los programas (Cobol,
Pascal, C, Ada).
Lenguajes orientados al problema
Están diseñados para
problemas específicos,
principalmente de gestión;
suelen ser generadores de
aplicaciones.
Lenguajes naturales
Están desarrollándose
nuevos lenguajes con el
objetivo de aproximar el
diseño y construcción de
programas al lenguaje de
las personas.
Lenguajes orientados a objetos
El diseño de los programas se basa más
en los datos y su estructura. La unidad de
proceso es el objeto y en él se incluyen
los datos (variables) y operaciones que
actúan sobre ellos (Smalltalk, C++).