import awalipy
Function:
     accessible_states(aut)

     coaccessible_states(aut)
Method of Automaton objects:
     accessible_states()

     coaccessible_states()

Parameters

Return value

The list of accessible (resp. coaccessible) states in aut.


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()

Parameters

Return value

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()

Parameters

Action

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()

Parameters

Return value

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()

Parameters

Return value

True if the automaton is accessible (resp. coaccessible, trim).