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