Backtracking control -- tokens

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

For modern one-pass languages, non-backtracking regexes are very common