Kernel: Python 3
automaton.is_deterministic
Whether the automaton is deterministic:
at most one initial state
each state is deterministic:
at most one transition per label
Precondition:
labelset is free
See also:
Examples
In [1]:
The empty automaton is deterministic.
In [2]:
In [3]:
True
Having more than one initial state makes the automaton not deterministic.
In [4]:
In [5]:
False
Having a state, even unreachable, with two transitions with the same label makes the automaton not deterministic.
In [6]:
In [7]:
False