乔泽夫·格鲁斯卡 李绿洲 郑生根 有限、经典和量子自动机框架中承诺问题的可识别性与可解性。 2014 abs/1411.3870 CoRR公司 http://arxiv.org/abs/1411.3870 db/journals/corr/corr1411.html#GruskaLZ14