Для определения слабейшего предусловия wp("while(e)S;",R) потребуются:
(Отметьте один правильный вариант ответа.)
Варианты ответа
рекурсии
вспомогательные определения(Верный ответ)
итерации
конкатенации