Synthesizing Noise-Tolerant Language Learners

An (by definition) generates a sequence of grammars defining the class. An (by definition) generates a sequence of decision procedures defining the family.F. Stephan's model of noisy data is employed, in which, roughly, correct data crops up infinitely often, and incorrect data only finitely often.Studied, then, is the synthesis of various kinds of language-learners for the corresponding classes or families indexed.Many positive results, as well as some negative results, are presented regarding the existence of such synthesizers. The proofs of most of the positive results yield, as pleasant corollaries, strict subset-principle or tell-tale style characterizations for the noise-tolerant learnability of the corresponding classes or families indexed