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

       

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


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

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



Содержание раздела