和矩阵的子矩阵计算类似，TSL的字符串也支持子串计算。
  为了避免产生概念混淆，我们需要再重复一次，TSL中的字符串下标是从1开始的，而数组是从0开始的。