Kernel: Python 3
automaton.is_accessible
Whether all its states are accessible, i.e., all its states can be reached from an initial state.
Preconditions:
None
See also:
Examples
In [1]:
The following automaton has states that cannot be reached from the initial(s) states:
In [2]:
In [3]:
False
Calling accessible
returns a copy of the automaton without non-accessible states:
In [4]:
In [5]:
True