Title: Grammatical Inference
Subjects: Formal languages, Logic, symbolic and mathematical