Distinguishing Pattern Languages with Membership Examples

This article determines two learning-theoretic combinatorial parameters, the teaching dimension and the recursive teaching dimension, for various families of pattern languages over alphabets of varying size. Our results and formal proofs are of relevance to recent studies in computational learning theory as well as in formal language theory. This is an epanded and corrected version of an earlier paper that appeared in the proceedings of LATA 2014.