Правила БНФ будем называть продукциями. Какие утверждения справедливы для продукций?

Правильный ответ:

• # Какое утверждение справедливо о выполнении в компьютере арифметических операций (сложение, вычитание, умножение) над вещественными числами?
• # Какие операции над элементами массива имеют сложность O(n):
• # Рекурсивное определение напоминает фокус. Рассмотрим рекурсивное определение известной в математике функции: Совершенно очевидно, какие значения принимает эта функция при . А каковы ее значения при ? Оказывается, для таких функция имеет одно и то же значение. Какое?
• # Необходимыми условиями корректно определенного рекурсивного метода является существование у метода ветви без рекурсии и разные контексты у каждого рекурсивного вызова. Рассмотрим метод с циклом: 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 Какие утверждения справедливы относительно корректности такой замены?
• # Пусть функция является решением уравнения неподвижной точки . Это позволяет дать не рекурсивное определение функции , аналогично тому, как определяется предел последовательности. Рассмотрим последовательность графов и связанных с ними функций . Какие утверждения не являются справедливыми относительно такого определения ?