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


:0: FutureWarning: IPython widgets are experimental and may change in the future.
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