Un lenguaje de programación en el que el usuario declara un conjunto específico de instrucciones que el ordenador debe realizar en una secuencia dada. Todos los lenguajes de programación ampliamente utilizadas son de este tipo.