Introduction to Automata Learning from a Practical Perspective Introduction to Automata Learning from a Practical Perspective