  Automaton learning is a domain in which the target system is inferred by the
automaton learning algorithm in the form of an automaton, by synthesizing a
finite number of inputs and their corresponding outputs. Automaton learning
makes use of a Minimally Adequate Teacher (MAT). The learner learns the target
system by posing membership queries to the MAT. In this chapter, I have
provided completely solved examples of automaton learning algorithms. According
to the best of my knowledge these are not available in any other source.
