The general scenario is the following: Given a class S of computable functions, is there a learner (that is, recursive functional) which outputs for any input of the form (f(0),f(1),...,f(n)) a hypothesis.
În general, scenariul este următorul: Având în vedere o clasă S de funcții calculabile, există un sistem de învățare (recursiv funcțional), care emite pentru orice intrare de forma (f(0),f(1),...,f(n)) o ipoteză.