Kernel: Python 3
automaton.is_coaccessible
Whether all its states are coaccessible, i.e., its transposed automaton is accessible, in other words, all its states cab reach a final state.
Preconditions:
None
See also:
Examples
In [1]:
State 3 of the following automaton cannot reach a final state.
In [2]:
In [3]:
False
Calling accessible
returns a copy of the automaton without non-accessible states:
In [4]:
In [5]:
True