ByNobleID
    Minimization of incompletely specified finite state machines based on distinction graphs | NobleID