2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




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

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

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

 
 
 
 Re: Фиксированная точка выражения (семантика)
Сообщение23.09.2012, 15:01 
Замаскированный алгоритм Евклида здесь узнать несложно. Правда непонятно значем нужен модуль разности. От того, что я узнал старого знакомого задача не упростилась, ведь привести алгоритм Евклида к какой либо математической функции сложно , тем более сложно расчитать количество выполняемых шагов алгоритма в зависимости от значений двух чисел.

 
 
 
 Re: Фиксированная точка выражения (семантика)
Сообщение23.09.2012, 15:44 
Аватара пользователя
Тоггда ждите Профессора Снэйпа. Считайте, что я просто подогрел тему :-)

 
 
 [ Сообщений: 4 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group