4 papers
Learning Languages with Decidable Hypotheses
Julian Berger, Maximilian Böther, Vanja Doskoč +9
In language learning in the limit, the most common type of hypothesis is to give an enumerator for a language. This so-called -index allows for naming arbitrary computably enume…
Mapping Monotonic Restrictions in Inductive Inference
Vanja Doskoč, Timo Kötzing
In language learning in the limit we investigate computable devices (learners) learning formal languages. Through the years, many natural restrictions have been imposed on the stud…
Normal Forms for (Semantically) Witness-Based Learners in Inductive Inference
Vanja Doskoč, Timo Kötzing
We study learners (computable devices) inferring formal languages, a setting referred to as language learning in the limit or inductive inference. In particular, we require the lea…
Maps for Learning Indexable Classes
Julian Berger, Maximilian Böther, Vanja Doskoč +9
We study learning of indexed families from positive data where a learner can freely choose a hypothesis space (with uniformly decidable membership) comprising at least the language…