Grammatical inference and approximation.