This is what Interana does. You define the states and the transition rules, and what you want to compute (eg how many times was this pattern matched, what was t

This is what Interana does. You define the states and the transition rules, and what you want to compute (eg how many times was this pattern matched, what was the p50 duration between steps 2 and 5, etc.) It then compiles this into machine code to actually scan the column store using llvm.