decidable language

Мат. разрешимый язык