olzd·قبل 5 سنوات·discussProbably Brzozowski’s derivative of regular expressions, e.g https://matt.might.net/papers/might2011derivatives.pdf