Это справедливо вследствие того, что функции, определенные исходным множеством уравнений рекурсии, являются наименьшими решениями этих ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Филд А.N. Функциональное программирование


Это справедливо вследствие того, что функции, определенные исходным множеством уравнений рекурсии, являются наименьшими решениями этих уравнений, заданных наименьшими фиксированными точками соответствующего множества функциональных уравнений. Поскольку все преобразованные уравнения получаются последовательной подстановкой вместо подвыражений, присутствующих в существующих уравнениях, равных выражений, эти решения должны также удовлетворять и результирующему множеству уравнений. Другими словами, они являются также и решениями множества уравнений, определенного преобразованными функциями, но не обязательно наименьшими решениями этих уравнений. Таким образом, определенная преобразованными уравнениями функция слабее ( в смысле связанного функционального пространства), чем соответствующая функция, определенная исходными уравнениями.

(cкачать страницу)

Смотреть книгу на libgen

Это справедливо вследствие того, что функции, определенные исходным множеством уравнений рекурсии, являются наименьшими решениями этих уравнений, заданных наименьшими фиксированными точками соответствующего множества функциональных уравнений. Поскольку все преобразованные уравнения получаются последовательной подстановкой вместо подвыражений, присутствующих в существующих уравнениях, равных выражений, эти решения должны также удовлетворять и результирующему множеству уравнений. Другими словами, они являются также и решениями множества уравнений, определенного преобразованными функциями, но не обязательно наименьшими решениями этих уравнений. Таким образом, определенная преобразованными уравнениями функция слабее ( в смысле связанного функционального пространства), чем соответствующая функция, определенная исходными уравнениями.