эффективно разрешимый

Мат. effectively decidable