quasidecision procedure

Мат. квазиразрешающая процедура