1. 4
  1.  

  2. 1

    Supplemental link: LearnLib is an open-source package that aims to provide reference implementations of a number of these algorithms.