1. 克莱尼星号（∑*）字符串形式理论的细分
    1. Topic
  2. 枚举（收敛与发散）或搜索