import awalipy
Function:
quotient(aut, equiv=None) coquotient(aut, equiv=None) |
Method of Automaton objects:
quotient(equiv=None) coquotient(aut, equiv=None)< |
The quotient (resp. coquotient) automaton w.r.t. the specified equivalence; if no equivalence is specified, the minimal quotient (resp. coquotient) is computed.
Function:
num_accessible_states(aut) num_coaccessible_states(aut) num_useful_states(aut) |
Method of Automaton objects:
num_accessible_states() num_coaccessible_states() num_useful_states() |
The number of accessible (resp. coaccessible, useful) states.
Function:
accessible_here(aut) coaccessible_here(aut) trim_here(aut) |
Method of Automaton objects:
accessible_here() coaccessible_here() trim_here() |
Remove every every state in aut which is not accessible (resp. coaccessible, useful).
Function:
accessible(aut) coaccessible(aut) trim(aut) |
Method of Automaton objects:
accessible() coaccessible() trim() |
A fresh automaton with a copy of the accessible (resp. coaccessible, useful) part of aut.
Function:
is_accessible(aut) is_coaccessible(aut) is_trim(aut) |
Method of Automaton objects:
is_accessible() is_coaccessible() is_trim() |
True if the automaton is accessible (resp. coaccessible, trim).