Learning with the knowledge of an upper bound on program size
machine identification of programs from graphs of recursive functions
machine identification of grammars from texts of recursively enumerable languages
knowledge about an upper bound on the minimal size program
scientific article; zbMATH DE number 165623