4.3 正则语言类中的判定算法