Backtracking control -- tokens

regex TOP     { <integer> <addop> <integer> {*} }
regex integer { \d+: {*} }
regex addop   { [ '+' | '-' ] {*} }