aalpy.learning_algs

View Source
# public API for running automata learning algorithms
from .deterministic.LStar import run_Lstar
from .non_deterministic.OnfsmLstar import run_non_det_Lstar
from .non_deterministic.AbstractedOnfsmLstar import run_abstracted_ONFSM_Lstar
from .stochastic.StochasticLStar import run_stochastic_Lstar
from .stochastic_passive.Alergia import run_Alergia
from .stochastic_passive.ActiveAleriga import run_active_Alergia