Алгоритм -- это класс эквивалентности программ в разных символических представлениях (хоть текстовых, хоть графовых) в рамках тезиса Чёрча.

(С) Ф.В.Ткачев, 2013-02-03 (если не найдётся претендентов с более ранней претензией).

Разжевывать не хочу и сил нет.