разрешимый язык

Мат. decidable language