关于自动机最小化在响应式合成中的作用
摘要：LTLf综述中基于Hopcroft和Brzozowski算法的状态机最小化比较
作者：Shufang Zhu (Sapienza Universitity of Rome), Lucas M. Tabajara (Rice University), Geguang Pu (East China Normal University), Moshe Y. Vardi (Rice University)
论文ID：2008.06790
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2021-09-20