next up previous contents
Next: Example Up: Cursors Previous: Cursors   Contents


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.

Vincent Le Maout 2003-07-08