1. De la máquina
1.1. Este lenguaje ordena a la máquina las operaciones fundamentales para su funcionamiento. Cnsiste en la combinación de 0's y 1's para formar las ordenes entendibles por el hardware de la maquina. Este lenguaje es mucho más rápido que los lenguajes de alto nivel. La desventaja es que son bastantes difíciles de manejar y usar, además de tener códigos en la red.
1.1.1. Se simbolizan con los números 0 y 1, por eso el lenguaje de la máquina solo utiliza dichos signos. Esto permite el uso 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
2. Declarativos
2.1. 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 responden al problema y detallan su solución. La solución es mediante mecanismos internos de control, sin especificar exactamente cómo encontrarla (tan solo se le indica a la computadora qué es lo que se desea obtener o qué se está buscando).
2.1.1. Los lenguajes algebraicos, como Maude y SQL.
2.1.2. Los lenguajes lógicos, como Prolog.
2.1.3. Los lenguajes funcionales, como Haskell y Erlang.
3. De alto nivel
3.1. Son aquellos que se encuentran más cercanos al lenguaje natural que al lenguaje máquina. Están dirigidos a problemas con el uso de EDD's. Se tratan de lenguajes independientes de la arquitectura del ordenador. Por lo que, en principio, un programa escrito en un lenguaje de alto nivel, lo puedes migrar de una máquina a otra sin ningún tipo de problema.
3.1.1. Fortran, Cobol, Basic, Pascal, C, Modula, ADA, Lisp, Prolog
4. Ensambladores
4.1. Es un derivado del lenguaje maquina y esta formado por abreviaturas de letras y números llamadas mnemotécnicos. Con la aparición de este lenguaje se crearon los programas traductores para poder pasar los programas escritos en lenguaje ensamblador a lenguaje máquina. Como ventaja con respecto al código máquina es que los códigos fuentes eran más cortos y los programas creados ocupaban menos memoria. Las desventajas de este lenguaje siguen siendo prácticamente las mismas que las del lenguaje ensamblador, ñadiendo la dificultad de tener que aprender un nuevo lenguaje difícil de probar y mantener.
4.1.1. ENSAMBLADORES CRUZADOS: permiten el soporte de medios físicos como pantallas, impresoras, teclado, etc. y la programación que ofrece máquinas potentes que luego se ejecutan en sistemas especializados. ENSAMBLADORES RESIDENTES: permanecen en la memoria de la computadora, y cargan para su ejecucion al programa objeto producido. Es el indicado para el desarrollo de pequeños sistemas de control.