Вот это ничего себе до чего доизвращались-то!

Здесь нет ни "автоматов" ни "дейкстры", здесь проще.

Здесь обычный REPEAT-UNTIL внутрь которого вложен IF-THEN-END.## Код:
```
REPEAT
  *
  IF * THEN * END
UNTIL *
```
То что условия в IF и в UNTIL одинаковые -- случайность, нет причины чего-то там заумное изобретать.