> -- AVC писал(а):
> Рассмотрим простой пример (в чём-то родственный алгоритму Евклида) - поиск в двоичном дереве.Как его переписать в виде цикла Дейкстры?
## Код:
```
p := root;
do  (p # NIL) & (s < p.name) -> p := p.left
[]  (p # NIL) & (s > p.name) -> p := p.right
od;
(* p = NIL or s = p.name *)
```
