Redundancy in TR14
Karl Williamson
public at khwilliamson.com
Mon Jan 11 17:32:47 CST 2016
Example 7 in http://www.unicode.org/reports/tr14/#Examples
has these two rules
NU × (NU | SY | IS)
NU (NU | SY | IS)* × (NU | SY | IS | CL | CP )
It appears to me that the first rule generates a subset of what the 2nd
rule generates, and so is useless. It could be hence removed for
simplicity, unless I'm missing something or there is a typo and it is
meant to generate something else.
More information about the Unicode
mailing list