Description

A cursor is a pointer to an automaton state that is able to move along defined transitions. Its purpose is to implement simple traversals testing if a word is in the language recognized by an automaton.