Computing in the Limit

We define a class of functions termed "Computable in the Limit", based on the Machine Learning paradigm of "Identification in the Limit". A function is Computable in the Limit if it defines a property P_p of a recursively enumerable class A of recursively enumerable data sequences S in A, such that each data sequence S is generated by a total recursive function s that enumerates . Let the index s represent the data sequence S. The property P_p(s)=x is computed by a partial recursive function f_p...