马蒂亚斯·加莱 《语法推理评论：学习自动机和语法》，科林·德·拉·希格拉著。 12-14 2013 44 SIGACT新闻 2 https://doi.org/10.1145/2491533.2491537 db/journals/sigact/sigact44.html#Galle13