Разработка компиляторов



         

Неподвижные точки монотонной функции


Пусть L - ограниченная полурешетка конечной высоты, f - монотонная функция. Можно показать тогда, что

  • функция f обладает хотя бы одной неподвижной точкой
  • множество всех неподвижных точек f является ограниченной полурешеткой конечной высоты
  • наименьшая неподвижная точка f может быть получена итерированием функции f начиная с наименьшего элемента L




Содержание  Назад  Вперед