阿尔贝托·贝托尼 吉安卡洛·毛里 尼科莱塔·萨巴迪尼 正则跟踪语言的等价性和成员问题。 61-71 1982 conf/icalp/1982 ICALP公司 db/conf/icalp/icalp82.html#BertoniMS82 https://doi.org/10.1007/BFb0012757