Characterizing language identification in terms of computable numberings Original Research Article

Identification of programs for computable functions from their graphs and identification of grammars (r.e. indices) for recursively enumerable languages from positive data are two extensively studied problems in the recursion theoretic framework of inductive inference. In the context of function identification, Freivalds et al. (1984) have shown that only those collections of functions, View the MathML source, are identifiable in the limit for which there exists a 1-1 computable numbering ψ and a discrimination function d such that 1. (a) for each View the MathML source, the number of indices i such that View the MathML source is exactly one and 2. (b) for each View the MathML source, there are only finitely many indices i such that ƒ and ψi agree on the first d(i) arguments. A similar characterization for language identification in the limit has turned out to be difficult. A partial answer is provided in this paper. Several new techniques are introduced which have found use in other investigations on language identification.