Un linguaggio di programmazione, come Ada, C, Basic o Pascal, che utilizza algoritmi per la soluzione dei problemi.