This reminds me of PhD work of Srinivas, using sheaves for KMP style pattern matching. It requires a bit of category theory but the core ideas are accessible. I

This reminds me of PhD work of Srinivas, using sheaves for KMP style pattern matching. It requires a bit of category theory but the core ideas are accessible. If you google "Sheaves KMP parsing" you can find it in ps format.