> -- Александр Ильин писал(а):
> А в цикле Дейкстры предусмотрена часть, исполняемая всегда? Т.е. так:Предусмотрена ли возможность вставить код вместо AlwaysDo?
Я об этом думал. Мне представляется это полезным. Тут можно поиграть вариантами. У самого Дейкстры - только охраняемые команды. Причем, не только в do-od, но и в if-fi.