По поводу цикла Дейкстры.
Рассмотрим простой пример (в чём-то родственный алгоритму Евклида) - поиск в двоичном дереве.
## Код:
```
p := root;
WHILE (p # NIL) & (s # p.name) DO
    IF s < p.name THEN p := p.left ELSE p := p.right END
END;
RETURN p (* ставлю RETURN в конце процедуры :) *)
```
Как его переписать в виде цикла Дейкстры?