Kernel: Python 3
automaton.coaccessible
Create a new automaton from the coaccessible part of the input, i.e., the subautomaton whose states can be reach a final state.
Preconditions:
None
Postconditions:
Result.is_coaccessible
See also:
Examples
In [1]:
The following automaton has states that cannot be reach any final(s) states:
In [2]:
In [3]:
False
Calling coaccessible
returns the same automaton, but without its non-coaccessible states:
In [4]:
In [5]:
True