To make this precise, a universal computer (or universal Turing machine) must be specified, so that "program" means a program for this universal machine.
Чтобы сделать это определение точным, нужно зафиксировать универсальный компьютер (или универсальную машину Тьюринга), так что "компьютерная программа" будет обозначать программу для этой универсальной машины.