确定性时态有限状态机的等价检查与交集

摘要:定时有限状态机的等价关系

作者:Davide Bresolin, Khaled El-Fakih, Tiziano Villa, Nina Yevtushenko

论文ID:2103.04868

分类:Formal Languages and Automata Theory

分类简称:cs.FL

提交时间:2021-03-09

PDF 下载: 英文版 中文版pdf翻译中