вероятностная разрешимость

Мат. probabilistic decidability