- Provides a
run
aggregate to execute the automaton over rows of symbols, given an initial state. - Provides an
accepts
function that tells wether or not a given string is accepted, given an initial state
The state of id=0 is a sink and shouldn't be modified. Algorithms rely on it when a transition is undefined.
- Custom aggregate definition