基于拟序的剩余自动机研究
A Quasiorder-based Perspective on Residual Automata
摘要：
在这项工作中，我们定义了一个框架的自动机结构的基础上quasiorders的话，提供新的见解类的剩余自动机。我们提出了一种新的剩余化操作和一种广义的双反转方法来构造给定语言的规范剩余自动机。最后，我们使用我们的框架提供了一个准序为基础的角度NL*，一个在线学习算法的剩余自动机。我们的结论是，拟序是基本的剩余自动机的同余是确定性自动机。
英文摘要：
In this work, we define a framework of automata constructions based on quasiorders over words to provide new insights on the class of residual automata. We present a new residualization operation and a generalized double-reversal method for building the canonical residual automaton for a given language. Finally, we use our framework to offer a quasiorder-based perspective on NL*, an online learning algorithm for residual automata. We conclude that quasiorders are fundamental to residual automata as congruences are to deterministic automata.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
