Любая вычислительная программа записывается с использованием некой формальной нотации. Чаще всего, такой нотацией является язык программирования высокого уровня. Но с тем же успехом это может быть и запись машинных кодов в виде последовательности чисел, блок-схема, машина Тьюринга, нормальные алгорифмы Маркова...