Kernel: Python 3
automaton.is_codeterministic
Whether the automaton is codeterministic (its transposition is deterministic).
Precondition:
labelset is free
See also:
Examples
In [1]:
In [2]:
In [3]:
False
In [4]:
False
Whether the automaton is codeterministic (its transposition is deterministic).
Precondition:
labelset is free
See also: