regular expression matching dynamic programming