If you're interested, regex matching via derivatives have been done before, see e.g. http://matt.might.net/papers/might2011derivatives.pdf http://matt.might.net

If you're interested, regex matching via derivatives have been done before, see e.g. http://matt.might.net/papers/might2011derivatives.pdf http://matt.might.net/papers/might2011derivatives.pdf