antimirov

This is a generalization of regex-matching. We use Antimirovs algorithm. Tests are provided, too.