Grammatical Inference: Theoretical Results and Applications Book