Для случая «нелинейной» программы.

Рассмотрим команду условного перехода (УП), результатом ее выполнения может быть либо выполнение команды с меткой, указанной в команде УП, либо выполнение следующей (по написанию) команды за командой УП. Так как же быть в данной ситуации? Пусть мы в БП заносим следующие команды за командой УП, тогда только после выполнения команды УП будет ясно угадано направление или нет, если не угадано, то необходимо аннулировать все команды, которые были занесены в БП, и изменить АО. Опишем эту модель математически: любая команда, которая выполняется в ЦП, является с некоторой вероятностью командой перехода, а с дополнительной вероятностью - командой следования. Если в настоящее время выполняется команда условного перехода, то с некоторой вероятностью она не меняет порядок выполнения команд и с дополнительной - меняет, следовательно вероятность того, что надо будет уничтожать команды, находящиеся в БП, после выполнения одной из команд равна произведению вероятности того, что текущая команда является командой условного перехода, и вероятности того, что она изменит порядок выполнения команд. Обозначим ее через n.

Для стационарного случая:

ДЗ.Р_n+2(t)-?