automaton.is_ambigous

Whether the automaton is ambiguous.

Preconditions:

  • the labelset is free.

Postconditions:

See also:

Examples


In [1]:
import vcsn
a = vcsn.context('lal_char(abcd), b').expression('abc').standard()
a


:0: FutureWarning: IPython widgets are experimental and may change in the future.
Out[1]:
%3 I0 0 0 I0->0 F4 1 1 0->1 a 3 3 1->3 b 4 4 3->4 c 4->F4

In [2]:
a.is_ambiguous()


Out[2]:
False

In [3]:
a + a


Out[3]:
%3 I0 0 0 I0->0 F3 F6 1 1 0->1 a 4 4 0->4 a 2 2 1->2 b 3 3 2->3 c 3->F3 5 5 4->5 b 6 6 5->6 c 6->F6

In [4]:
(a+a).is_ambiguous()


Out[4]:
True