这里列出了本书中用到的数学标记。
N表示自然数集，为{0,1,2,…}。
N+表示正整数集，为{1,2,…}。
R≥0表示非负实数集。
R+表示正实数集。
λ表示空字符串。
如果β是任意一个序列，S是任意一个集合，那么β|S表示β的一个子序列，它由S在β中的所有元素组成。
