В точках бифуркации проверяется удовлетворение некоторого условия А, причём результаты проверки определяют порядок дальнейших операций:
if{проверка выполнения условия А}
then{операции, осуществляемые, если условие А удовлетворяется};
else{операции, осуществляемые, если условие А не удовлетворяется};