An inductive inference machine for MNP

lRegard the function **f*** *as an input stream

**(0,f(0)), (1,f(1)),
(2,f(2)),~{!-~} **for **M
**

l**M*** *is the inductive
inference machine taking the first **n*** *elements of the
stream and outputs the minimal **x****n** such that **"****y****<****n.f(x****n****)****£****f(y)**.

lThe outputs
(guesses) of the machine converges to the right answer
of MNP.