Необходимыми условиями корректно определенного - Ответ на вопрос по любому предмету №1182912

Вопрос

Необходимыми условиями корректно определенного рекурсивного метода является существование у метода ветви без рекурсии и разные контексты у каждого рекурсивного вызова. Рассмотрим метод с циклом: cicle do from Init until Exit loop Body end endЗаменим его методом recursive do Init; loop_eqviv end с вызовом рекурсивного метода: loop_eqviv do if not Exit then Body; loop_eqviv end endКакие утверждения справедливы относительно корректности такой замены?

• у метода loop_eqviv существует не рекурсивная ветвь. Когда выполняется условие выхода, то можно полагать, что выполняется ветвь без рекурсии (пустая в данном случае), завершающая выполнение метода
• контекст у рекурсивного метода меняется автоматически
• контекст каждого вызова будет меняться только при выполнении условий, предполагаемых по умолчанию для этой схемы замены цикла рекурсией: Все модули Init, Exit, Body определены над полями класса - глобальной для метода информацией;Init задает начальный контекст вызова;Каждое выполнение Body изменяет контекст и уменьшает значение варианта метода, гарантируя завершаемость.
• такая замена некорректна, поскольку не выполняется необходимое условие изменения контекста при каждом вызове рекурсивного метода
• завершаемость метода cicle гарантирует завершаемость метода loop_eqviv
• такая замена некорректна, поскольку не выполняется необходимое условие существования у рекурсивного метода не рекурсивной ветви

Ответ