Description

A dfirst_mark_cursor implements the depth-first traversal on cyclic deterministic automata. It works exactly as the dfirst_cursor does except that a state-mark function garantees that each transition is only reached twice