До меня наконец доперла очевидная вещь. Слова в названии темы означают одно и то же!
Очевидно, что программа - это не текст программы, хотя бы потому, что ее иногда представляют как черный ящик: in-->box-->out, впрочем, это и так очевидно. Программа - это некая абстрактная возможность что-то вычислить, абстрактная машина, такая же, как например, МТ. Машина, в свою очередь, является транслятором, поскольку, вне зависимости от процесса вычисления, она преобразует in в out. Все 3 слова означают одно и то же! Кажется я близок к сатори!:)
Непонятно, однако, зачем было разводить весь этот зоопарк, хотя, это обычное дело, вопрос риторический.
Еще один интересный момент. Вычислимая машиной функция не имеет никакого отношения к тому, что записано в тексте программы, т.е. к ее выражению, это такая же абстракция, как и программа!
Осмелюсь кастануть 
ilammy, как наиболее авторитетного и грамотного в вопросах CS участника. Не будете ли Вы так любезны прокомментировать то, что я написал?
