Сравнение детерминированных и вероятностых стратегий синтеза прогррамм