I have a finite ordered list of rewrite rules. These rules do not have any context, and each rewrite rule replaces a string with a string of less than or equal length.