贾努斯·布尔佐夫斯基 西尔维·戴维斯 博扬·维克多·刘 最复杂的正则理想语言。 2016 18 自由裁量权。数学。西奥。计算。科学。 三 https://doi.org/10.46298/dmtcs.1343 db/journals/dmtcs/dmtcs18.html#BrzozowskiDL16