I recently wrote a syntax analyzer for a simplified pascal-like language using gnu FLEX and BISON, i think those are the tools you need to build your query abstractor ... it could be done using only FLEX i think ..