摘要：具有两个输入字母的完全确定有限自动机的特征;其中，每个非空状态集合都可以通过适当的输入字来映射为整个状态集合的图像。这种特征化导致了一种识别这类自动机的多项式时间算法。
作者：David Casas and Mikhail V. Volkov
论文ID：2205.09404
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2022-08-23
PDF 下载： 英文版 中文版pdf翻译中