Problema bat ebazteko eman behar diren urratsen deskribapen formala. Programazio-lengoaia baten bidez, algoritmoa ordenagailu batek egikari dezakeen programa bihur daiteke.