automaton.is_complete

Whether the automaton is complete, i.e., there is a transition from each state for each label.

Precondition:

  • the labelset is free

See also:

Examples

In [1]:
import vcsn
a = vcsn.context('lal_char(a), z').expression('a*').standard()
a
Out[1]:
%3 I0 0 0 I0->0 F0 F1 0->F0 1 1 0->1 a 1->F1 1->1 a
In [2]:
a.is_complete()
Out[2]:
True
In [3]:
a = vcsn.context('lal_char(ab), z').expression('a*').standard()
a
Out[3]:
%3 I0 0 0 I0->0 F0 F1 0->F0 1 1 0->1 a 1->F1 1->1 a
In [4]:
a.is_complete()
Out[4]:
False