邱道文 李绿洲 邹祥福 保罗·马特乌斯 乔泽夫·格鲁斯卡 多字母量子有限自动机：等价性的可判定性和状态最小化。 271-290 2011 48 信息学报 5-6 https://doi.org/10.1007/s00236-011-0139-6 https://www.wikidata.org/entity/Q59196668 db/journals/acta/acta48.html#QiuLZMG11