Grammatical Inference for Computational Linguistics