摘要：比较有折扣的和确定的状态机对于有限和无限字的问题。即对于状态机$A$和$B$，检查对于所有字$w$是否成立$A(w)=B(w)，A(w)\leq B(w)$或$A(w) D(w)$的算法。
作者：Udi Boker and Guy Hefetz
论文ID：2301.04086
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2023-06-12
PDF 下载： 英文版 中文版pdf翻译中