automaton.is_proper

Whether the automaton is proper, i.e. has no spontaneous transitions.

See also:

Examples

In [1]:
import vcsn
exp = vcsn.context('lan, b').expression('ab')
In [2]:
a = exp.standard()
a
Out[2]:
%3 I0 0 0 I0->0 F3 1 1 0->1 a 3 3 1->3 b 3->F3
In [3]:
a.is_proper()
Out[3]:
True
In [4]:
a = exp.thompson()
a
Out[4]:
%3 I0 0 0 I0->0 F3 1 1 0->1 a 2 2 1->2 ε 3 3 2->3 b 3->F3
In [5]:
a.is_proper()
Out[5]:
False