scientific article

zbMath0609.68009MaRDI QIDQ3750102

No author found.

Publication date: 1986

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

inductive inferenceprediction of functionsautomatic program synthesis from input-output examplesdeciphering of tree automataexperiments on finite automatafaulty informationidentifiable function classesinteractive modelling of the identification of objectsnonrandom sequences

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Recursive functions and relations, subrecursive hierarchies (03D20) General topics in the theory of software (68N01) Theory of numerations, effectively presented structures (03D45) Algorithms in computer science (68W99) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Related Items (4)

Learning recursive functions: A survey ⋮ Consistent and coherent learning with \(\delta \)-delay ⋮ Learning classes of approximations to non-recursive functions. ⋮ On the interplay between inductive inference of recursive functions, complexity theory and recursive numberings

This page was built for publication: