A consideration of the problem of identifying a language of some specified class, a language being defined as a subset of the strings on some finite alphabet. Information about the language may be given by a text, an unending succession of examples ...