Kernel: Python 3
automaton.ambiguous_word
Return an ambiguous word, or raise if the automaton is unambiguous.
Preconditions:
the labelset is free
Postconditions:
the Result is accepted
See also:
Examples
In [1]:
In [2]:
False
In [3]:
error: ambiguous_word: automaton is unambiguous
In [4]:
In [5]: