Describir: Mathematics of computation