阿尔贝托·贝托尼 吉安卡洛·毛里 尼科莱塔·萨巴迪尼 正则和无上下文跟踪语言的成员问题 135-150 Inf.计算。 八月 1989 82 2 db/journals/iandc/iandc82.html#BertoniMS89 https://doi.org/10.1016/0890-5401(89)90051-5 https://www.wikidata.org/entity/Q57518713