In [1]:
import vcsn
State 3 of the following automaton cannot reach a final state.
In [2]:
%%automaton a
context = "lal_char(abc), b"
$ -> 0
0 -> 1 a
1 -> $
2 -> 0 a
1 -> 3 a
In [3]:
a.is_coaccessible()
Out[3]:
Calling accessible
returns a copy of the automaton without non-accessible states:
In [4]:
a.coaccessible()
Out[4]:
In [5]:
a.coaccessible().is_coaccessible()
Out[5]: