摘要：可见推动自动机的最小化是NP-complete
作者：Olivier Gauwin, Anca Muscholl and Michael Raskin
论文ID：1907.09563
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2023-06-22
PDF 下载： 英文版 中文版pdf翻译中