Some models of inductive syntactical synthesis from sample computations