Chapter 9.5, Problem 53E

Exercises 52 and 53,R_nrefers to the family of equivalence relations defined inExample 5.Recall thats R_nt,wheresandtare two strings if $s=t$orsandtare strings with at leastncharacters that agree in their firstncharacters.

53. Show that the partition of the set of all identifiers in C formed by the equivalence classes of identifiers with respect to the equivalence relationR₃₁is a refinement of the partition formed by equivalence classes of identifiers with respect to the equivalence relationR₈.(Compilers for “old” C consider identifiers the same when their names agree in their first eight characters, while compilers in standard C consider identifiers the same when their names agree in their first 31. characters.)