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