Фиксированная точка выражения (семантика)

[Eugen1]

Помогите найти фиксированную точку выражения:
while x != y do (if x <y then y := y − x else x := x − y)

Вопрос по теме денотационная семантика.

[gris]

Иногда полезно словами описывать алгоритм для понимания его сути или для узнавания замаскировавшегося старого знакомого.
Берём пару чисел и большее заменяем модулем их разности. И так пока не придём в точку фиксации. Узнали?
Если нет, то попробуйте на парах: 7 и 3; 6 и 3; 20 и 28.

[Eugen1]

Замаскированный алгоритм Евклида здесь узнать несложно. Правда непонятно значем нужен модуль разности. От того, что я узнал старого знакомого задача не упростилась, ведь привести алгоритм Евклида к какой либо математической функции сложно , тем более сложно расчитать количество выполняемых шагов алгоритма в зависимости от значений двух чисел.

[gris]

Тоггда ждите Профессора Снэйпа. Считайте, что я просто подогрел тему