Parser for Arith Expression

oper.   +

vars     a | b | c

E V {'+' V}

V a|b|c

E() check for V

V()     if not fail

       while(next is '+')

        {

       if V()

        continue

       otherwise fail

        }

       succeed