A Problem in Shift-Reduce Parser

The stack has to be scaned to see whether

a handle appears on it.

Use a state to uniquely identify a part of a

handle (viable prefix) so that stack scanning

becomes unnecessary