Describir: Linguistics and the formal sciences :