Рисунок 5
.
Основной вариант работы оракула и медиатора при тестировании со скрытым состоянием
