Prioritized Choice with Backtracking

• S  A / B means:

  • “To parse an S, first try to parse an A. If A fails, then backtrack and try to parse a B.”

• Example: