> -- Alexey_Donskoy писал(а):
> Убирайте из всех определений "за конечное время". Ибо для систем управления, систем реального времени получается и смысл другой, и вообще не получается - там главный цикл в норме не заканчивается никогдаМожет, явно учесть различие между вычислительными (трансформационными) и управляющими (реагирующими) задачами?..
Тогда м.б. для второго случая "за конечное время цикла реакции на алгообстановку"... как-то так...

> -- Alexey_Donskoy писал(а):
> ...Не забываем о неимперативном программировании. Хотя Илья и высказался за то, чтобы всё равно подразумевать там исполнителя с конкретными алгоритмами, но так ли это - вопрос спорный...Так может, и тут выделить случаи императива и декларатива? И будет во втором что-то вроде: "Программа - результат алгоритмизации неимперативной модели предметной области по алгоритму для данного рода модели, управляемому целями, для конкретной цели"?..
Ну а алгоритм - модель задачи для императивного исполнителя...