Рекурсивное определение можно рассматривать как уравнение неподвижной точки . Пусть функция является решением этого уравнения. Какие утверждения справедливы для этой функции?
(Отметьте один правильный вариант ответа.)
Варианты ответа
аргументом функции является рекурсивная функция, ее значением является также рекурсивная функция
аргументом функции является граф функции - множество пар - значением является пара , которую функция строит по исходному множеству
аргументом функции является граф функции - множество пар - значением является множество пар, которое функция строит по исходному множеству(Верный ответ)
аргументом функции является пара - значением является другая пара