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