Los lenguajes de software gestion dependiendo del criterio que uno admite para calificarlos, existen cientos o miles de lenguajes de programación. Las formas de operación de los programas que emplean a los lenguajes de programación amplian la variedad, pero a la vez ofrecen una clasificación en ensambladores, interpretadores y compiladores.

Entre los programas de software gestion que emplean lenguajes de programación, los más elementales son los ensambladores, ya que ofrecen al programador un modelo riguroso de la máquina. En ellos se emplean mnemónicos, abreviaturas simbólicas, para cada una de las instrucciones de la máquina y desde ellos, están disponibles para el programador todos los recursos del equipo en su nivel más elemental.

Los programas que se encargan de la traducción, se limitan a realizar una correspondencia uno a uno entre los mnemónicos y las instrucciones de máquina.
Los interpretadores utilizan lenguajes y de software gestion, también simbólicos, pero en este caso, cada símbolo tiene una función asociada por el interprete con esta modalidad, el interpretador puede prever las consecuencias de la operación antes de realizarla y emitir, en su caso, diagnósticos para beneficio del usuario.

Las operaciones asociadas a cada símbolo no están confinadas a las operaciones disponibles en la máquina, pueden ser instrucciones de otra máquina y de cualquier nivel de complejidad y elaboración. Los compiladores realizan la traducción de programas desde un lenguaje hasta otro. Las naturalezas de los lenguajes fuente y destino son en principio diferentes.

Generalmente, el lenguaje del software gestion destino es el lenguaje de la máquina o el ensamblador. Es el caso de los compiladores de Fortran que traducen los programas que están descritos por el programador en términos de un lenguaje algebraico y con el empleo de matrices. Rigurosamente, Fortran no fue el primero de los esfuerzos en esta dirección, hubo antes otros como el MAD (Michigan Algebraic Decoder), fue el esfuerzo unificador de la IBM que condujo al Fortran. Con el empleo de los lenguajes de programación, los usuarios no requieren conocer en detalle las características de la computadora para hacer sus computaciones en gran escala. En la actualidad hay tantos lenguajes de programación que nos limitaremos a hacer algunos comentarios sobre los más conocidos.

El software gestion

Fortran, Algol, Pascal, Ada y Modula, representan una cadena de lenguajes con un origen común, permitir la descripción de computaciones numéricas con el empleo de notaciones algebraicas y matriciales, cada eslabón de la cadena aporta nuevos elementos, la mayor de las veces triviales, pero en la cadena se observa una tendencia muy señalada consistente en que cada vez es más rigurosa la especificación de los tipos de datos que se emplean en los programas.
Algo pretendió ser más un lenguaje matemático para describir algoritmos, que un lenguaje de programación. Introdujo los principios de la estructuración, descomponiendo el programa en procedimientos del software gestion poniendo énfasis en las formas de transmisión de argumentos del programa a los procedimientos secundarios. Para obtener independencia de las particularidades de la entrada y salida de cada equipo, no estableciendo especificaciones sobre estos aspectos.