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
In [1]:
In [2]:
True
In [3]:
In [4]:
False
Whether the automaton is complete, i.e., there is a transition from each state for each label.
Precondition:
the labelset is free
See also: