A. Clark[2] has shown that the class of languages which have a context-free grammar whose nonterminals can be defined by a finite set of contexts can be identified in the limit, given an enumeration of the language and a test for membership. We show by example that Clark’s algorithm may converge to a grammar that does not define the input language. We review the theoretical background, provide ...