Un algoritmo siempre debe tener un fin, es decir: terminar después de realizar un determinado número de pasos.

Cada paso de un algoritmo debe ser claro; las acciones a realizar deben ser especificas y sin ambigüedad

Debe indicar claramente los pasos y el orden en que se deben ejecutar.

Se trata de lenguajes de programación que están diseñados para un hardware específico y que por lo tanto no pueden migrar o exportarse a otras maquinas. Sacan el mayor provecho posible al sistema en el que fueron diseñados, pero no aplican para ningun otro.

Este tipo de lenguajes se encuentran más cercanos al lenguaje natural que al lenguaje máquina. Se trata de lenguajes independientes de la arquitectura del ordenador, por lo que, pueden emplearse o migrar de una máquina a otra sin ningún problema.Los hay de propósitos generales y de propósitos especificos.

Este termino propone lenguajes de programacion que se ubican en un punto medio entre los lenguajes de alto y los debajo nivel, pues permite llevar a cabo operaciones de alto nivel y a la vez una gestion local de la arquitectura del sistema.