automaton.is_coaccessible.ipynb

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:

• automaton.coaccessible

• automaton.is_accessible

• automaton.trim

Examples

import vcsn

State 3 of the following automaton cannot reach a final state.

%%automaton a
context = "lal_char(abc), b"
$ -> 0
0 -> 1 a
1 -> $
2 -> 0 a
1 -> 3 a

a.is_coaccessible()

False

Calling accessible returns a copy of the automaton without non-accessible states:

a.coaccessible()

a.coaccessible().is_coaccessible()

True