Cora functions in the quotient module

  1. min-quotient, min-coquotient

1. min-quotient, min-coquotient


    $> Cora min-quotient aut

    $> Cora min-coquotient aut
    

An automaton which is the minimal quotient (resp. co-quotient) of aut.