识别和学习$omega$-正则语言的一种新型有限自动机家族
摘要：DFAs家族(FDFAs)是最近作为表示ω-正则语言的一种新方法引入的。他们的目标是最终周期词，其中接受器围绕某些表示接受u·v^omega。已经提出了三个标准的FDFAs，分别称为周期性、句法和经常性。我们提出了第四种FDFAs，即限制性FDFAs，它可以比周期性FDFAs粗糙指数级，比句法FDFAs更简洁，同时它们与经常性FDFAs是不可比较的(并且是对偶的)。我们展示了限制性FDFAs不仅可以轻松地用于检查ω语言是否是正则的，还可以检查是否被确定性布琪自动机接受。我们还展示了在应用中可以摆脱规范形式：限制性和经常性FDFAs可以很好地相互补充，使用两者的组合可能是一个前进的好方法。以这个观察为出发点，我们探索了更有效地利用Myhill-Nerode的正确合同，在积极增加不关心的情况的数量以获得更小的进步自动机。为了实现这个目标，我们获得了简洁性，但付出了失去可构造性的代价。
作者：Yong Li, Sven Schewe, Qiyi Tang
论文ID：2307.07490
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2023-07-17