Publication:3750102

zbMath0609.68009MaRDI QIDQ3750102

No author found.

Publication date: 1986

zbMATH Keywords

inductive inference; prediction of functions; automatic program synthesis from input-output examples; deciphering of tree automata; experiments on finite automata; faulty information; identifiable function classes; interactive modelling of the identification of objects; nonrandom sequences

Mathematics Subject Classification ID

68Q45: Formal languages and automata

68-06: Proceedings, conferences, collections, etc. pertaining to computer science

03-06: Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations

03D20: Recursive functions and relations, subrecursive hierarchies

68N01: General topics in the theory of software

03D45: Theory of numerations, effectively presented structures

68W99: Algorithms in computer science

03D60: Computability and recursion theory on ordinals, admissible sets, etc.

Related Items

Learning recursive functions: A survey, Consistent and coherent learning with \(\delta \)-delay, Learning classes of approximations to non-recursive functions.