You get an algorithm that you can program in a binary code, and that's the defining trait of the computer program.
Temos un algoritmo que podemos programar en código binario, e ese é o trazo definitorio do programa de computador.