摘要：改进和优化B"uchi自动机的同余关系及其在自动机验证中的作用
作者：Yong Li, Yih-Kuen Tsay, Andrea Turrini, Moshe Y. Vardi and Lijun Zhang
论文ID：2104.03555
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2021-05-12
PDF 下载： 英文版 中文版pdf翻译中