Reverse regular expression engine that calculates strings matching a given regex