摘要：计算区分两个给定的正则语言的最小确定有穷自动机（DFA）的NP完全性证明
作者：Jan Martens
论文ID：2306.03533
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2023-06-07
PDF 下载： 英文版 中文版pdf翻译中