戴维·文霍克；约书亚·莫尔曼；朱里安·罗特 有序标称集的快速计算。 （英语） Zbl 1518.68193号 Fischer，Bernd（ed.）等人，《计算的理论方面——2018年ICTAC》。2018年10月16日至19日，第十五届国际学术讨论会，南非斯特伦博什。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。11187, 493-512 (2018). 摘要：我们通过发展此类标称集及其基本构造的直接表示，展示了如何在全序对称性上使用标称集进行有效计算。与以前的方法相比，我们直接在轨道级别上进行工作，从而可以进行准确的复杂性分析。该方法被实现为库ONS（有序标称集）。我们的主要动机是名义自动机，它是在无限字母表上识别语言的模型。我们在两个应用程序中评估ONS：自动机最小化和主动自动机学习。在这两种情况下，ONS与现有实现相比都具有竞争力，并且在某些类别的输入方面优于现有实现。有关整个系列，请参见[Zbl 1398.68027号]. 引用于1文件 MSC公司： 65年第68季度 形式语言和自动机 软件：Ons（打开） PDF格式BibTeX公司 XML格式引用 \textit｛D.Venhoek｝等人，Lect。票据计算。科学。11187、493--512（2018年；Zbl 1518.68193） 全文： 内政部 arXiv公司