Learning formal languages

Here are references to a few textbooks which describe the learning algorithms in detail and provide the required background. Here is a very readable book from one of the founders of the subject, and winner of the Turing award for 2010. Here are references to some papers on learning automata, grammars and graphs.