partially decidable

Мат. частично разрешимый