Describir: Mathematics and computability of language