Contact
CoCalc Logo Icon
StoreFeaturesDocsShareSupport News AboutSign UpSign In
| Download
Views: 45860
Kernel: Python 3

automaton.is_codeterministic

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

Precondition:

  • labelset is free

See also:

Examples

import vcsn
%%automaton -s a context = "lal_char(ab), b" $ -> 0 0 -> 1 a 0 -> 2 b 1 -> 3 b 2 -> 3 b 3 -> $
Image in a Jupyter notebook
a.is_codeterministic()
False
a.transpose().is_deterministic()
False