Los equipos de ordenador (el hardware) han pasado por cuatro generaciones, de las que las
tres primeras (ordenadores con válvulas, transistores y circuitos integrados) están muy claras, con la programación de los ordenadores (el software), que se realiza
en lenguajes que suelen clasificarse en cinco generaciones, de las que las tres primeras son
evidentes, mientras no todo el mundo está de acuerdo en las otras dos.

A medida que surgían nuevos lenguajes que permitían estilos de programación mas expresiva. Dichos estilos se distinguieron por unas serie de generaciones cada una respetando los lenguajes de programación con una época similar y con características comunes.

Los lenguajes de programación se clasifican dentro de dos categorías que se
refieren a su "nivel de abstracción", es decir, en cuanto a lo específico o general que es
respecto a la arquitectura de computación inherente al sistema que se está utilizando.

Se distinguen distintos modelos de cómputo y de estilos de
estructurar y organizar las tareas que debe realizar un programa. Un lenguaje de programación
puede ofrecer soporte a uno o varios paradigmas de programación, total o parcialmente.

Se distinguen los lenguajes de programación de propósito general de aquellos de propósito
específico. En algunas ocasiones los lenguajes de programación son también clasificados en familias que
comparten ciertas características comunes como el estilo general de la sintaxis que emplean.

Los primeros ordenadores se programaban directamente en código
de máquina (basado en sistema binario), que puede representarse mediante secuencias de
0 y 1.A estos lenguajes se les denominaba Lenguaje de bajo nivel, porque sus
instrucciones ejercen un control directo sobre el hardware y están condicionados por la
estructura física de las computadoras que lo soportan.se utiliza este tipo de lenguajes
para programar tareas críticas de los sistemas operativos, Se utiliza este tipo de lenguajes
para programar tareas críticas de los sistemas operativo, de aplicaciones en tiempo real o
controladores de dispositivos.

Los lenguajes simbólicos, asimismo propios de la máquina,
simplifican la escritura de las instrucciones y las hacen más legibles Se refiere al lenguaje
ensamblador ensamblado a través de un macroensamblador.

Algunos
proponen reservar el nombre de cuarta generación para la programación orientada a objetos. Algunas de sus
características son: acceso a base de datos, capacidades gráficas, generación de código automáticamente, así como poder programar visualmente (como por ejemplo Visual Basic
o SQL).

En ocasiones se llama así a los lenguajes de inteligencia artificial,
aunque con el fracaso del proyecto japonés de la quinta generación esta denominación ha
caído en desuso.

Los lenguajes de alto nivel sustituyen las instrucciones simbólicas por
códigos independientes de la máquina, parecidas al lenguaje humano o al de las Matemáticas. Se crearon para que el usuario común pudiese solucionar un problema de procesamiento de datos de una manera más fácil y rápida. Anteriores. Entre ellos se encuentran C, Fortran, Smalltalk, Ada, C++, C#, Cobol, Delphi, Java y PHP, entre otros.