摘要：有限控制自动机的无反转有界计数器问题的多项式时间非确定性归约
作者：Pascal Baumann, Flavio D'Alessandro, Moses Ganardi, Oscar Ibarra, Ian McQuillan, Lia Sch"utze, Georg Zetzsche
论文ID：2301.10198
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2023-01-25
PDF 下载： 英文版 中文版pdf翻译中