Kernel: Python 3
automaton
.pair
(keep_initials
= False
)
The pair automaton, or -subset automaton, is an intermediate representation used by the heuristics. It is defined by:
See also:
Examples
In [1]:
In [2]:
In [3]:
You also can keep the initial singleton states instead of merging them in a state:
In [4]: