We try to describe in mathematical terms a class of models M of languages and of (learning) transformations of M which, when applied to (a collection of texts from) a given library (corpus) L, somehow embedded into M, would result in a model of the language behind L.