My diploma thesis implementation on former closed source of LearnLib automata learning library.