Contact
CoCalc Logo Icon
StoreFeaturesDocsShareSupport News Sign UpSign In
| Download
Views: 45856
Kernel: Python 3

automaton.is_complete

Whether the automaton is complete, i.e., there is a transition from each state for each label.

Precondition:

  • the labelset is free

See also:

Examples

import vcsn a = vcsn.context('lal_char(a), z').expression('a*').standard() a
Image in a Jupyter notebook
a.is_complete()
True
a = vcsn.context('lal_char(ab), z').expression('a*').standard() a
Image in a Jupyter notebook
a.is_complete()
False