Kernel: Python 3
automaton.is_letterized
Whethere the automaton is letterized, i.e. each transition is labeled by a single letter. It's always true when labels are letters, for example.
Examples
In [1]:
In [2]:
In [3]:
True
Here, no computation is done, the result is implied by the labelset.
In [4]:
In [5]:
True
Here, as labels can be words, each transition's label is checked to see that it is a letter (or the empty word).
In [6]:
In [7]:
False