Не понял...если мы делаем на исполнителе "программа, управляемая данными + платформа её исполнения" программу, то она также подпадает под обсуждаемое определение... именно в расширенном случае, когда мы не ограничиваемся императивом...
И тогда снова надо рассматривать два случая. Если сделали императив - то там же в основе лежит система алгоритмов?.. или как?.. Если сделали декларатив - то ведь для интеллекта либо (мало ли, это САПР разработки инструкций м.б.), либо для такой же платформы (алгоритма построения алгоритмов в границах алгоразрешимости)?..
Ну и так пока не дойдём-таки до интеллекта в основе... который задачу ставит и тесты Тьюринга выдумывает...и главное - постановки варьирует, как Фридланд писал... Или как по-Вашему будет?..