Text this: 离散有限信源序列的编码定理