字符串的6、词典排序

经常需要定义在字符串集合上的次序。如果字符表 Σ 有一个全序 (cf. 字母序)，则可以定义在 Σ* 上的叫做词典序的全序。注意因为 Σ 是有限的，总是可以定义在 Σ 继而在 Σ* 上的良好次序。例如，如果 Σ = {0, 1} 并且 0 < 1，则 Σ* 的词典次序是 ε < 0 < 00 < 000 < … < 011 < 0110 < … < 01111 < … < 1 < 10 < 100 < … < 101 < … < 111 …