Pattern matching
A Four Russians algorithm for regular expression pattern matching