摘要：可视下推自动机的普遍性和u-普遍性的抗链方法
作者：V''eronique Bruy`ere, Marc Ducobu, Olivier Gauwin
论文ID：1205.2841
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2012-05-15
PDF 下载： 英文版 中文版pdf翻译中