Returns the parser state that results from executing the steps of this parse step, starting from the initial state.
the state in which we begin
Returns whether this walk ends up in a goal state.
The sequence of states encountered during this walk (in order).
the sequence of steps we take from the initial state
The sequence of transitions taken during this walk (in order).
A Walk is a walk through a finite-state machine.
the state in which we begin
the sequence of steps we take from the initial state