Browsing Publicēti raksti (MII) / Published Articles by Subject "program synthesis"
Now showing items 1-4 of 4
-
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 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 ... -
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 ...