支持编程语言中正则表达式非经典特性的字符串约束求解研究获进展