## Search

Now showing items 1-10 of 12

#### Comparing various concepts of function prediction. Part 2.

(Latvia State University, 1975)

Prediction: f(m+1) is guessed from given f(0), ..., f(m). Program synthesis: a program computing f is guessed from given f(0), ..., f(m). The hypotheses are required to be correct for all sufficiently large m, or with some ...

#### Comparing various concepts of function prediction. Part 1.

(Latvia State University, 1974)

Prediction: f(m+1) is guessed from given f(0), ..., f(m). Program synthesis: a program computing f is guessed from given f(0), ..., f(m). The hypotheses are required to be correct for all sufficiently large m, or with some ...

#### Comparing various types of limiting synthesis and prediction of functions

(Latvia State University, 1974)

#### On computation in the limit by non-deterministic Turing machines

(Latvia State University, 1974)

#### On speeding up synthesis and prediction of functions

(Latvia State University, 1974)

#### Probabilistic program synthesis

(Latvia State University, 1977)

The following model of inductive inference is considered. Arbitrary numbering tau = {tau_0, tau_1, tau_2, ... } of total functions N->N is fixed. A "black box" outputs the values f(0), f(1), ..., f(m), ... of some function ...

#### Computational complexity of prediction strategies

(Latvia State University, 1977)

The value f(m+1) is predicted from given f(1), ..., f(m). For every enumeration T(n, x) there is a strategy that predicts the n-th function of T making no more than log2(n) errors (Barzdins-Freivalds). It is proved in the ...

#### On the reducibility of function classes

(Latvia State University, 1972)

N – the set of all natural numbers, F – the set of all total functions N→N, A, B<=F. We say that A is m-reducible to B (A<=m B), iff there is a recursive operator M such that f in A, iff M(f) in B for all f in F. Similarly, ...

#### On computation in the limit by non-deterministic Turing machines

(Scientific Proceedings of Latvia State University, 1974)