automaton.is_codeterministic

Whether the automaton is codeterministic (its transposition is deterministic).

Precondition:

  • labelset is free

See also:

Examples


In [1]:
import vcsn


:0: FutureWarning: IPython widgets are experimental and may change in the future.

In [2]:
%%automaton a
context = "lal_char(ab), b"
$ -> 0
0 -> 1 a
0 -> 2 b
1 -> 3 b
2 -> 3 b
3 -> $


%3 I0 0 0 I0->0 F3 1 1 0->1 a 2 2 0->2 b 3 3 1->3 b 2->3 b 3->F3

In [3]:
a.is_codeterministic()


Out[3]:
False

In [4]:
a.transpose().is_deterministic()


Out[4]:
False