关于置换自动机操作的接受状态复杂度
摘要：确定性有限自动机对应于通过将以下操作之一应用于由排列自动机接受的语言而获得的正则语言的接受状态的复杂性。并集、商、补集、差集、交集、Kleene star、Kleene加号和逆向操作。因此，本文进入了由工作[J. Dassow: On the number of accepting states of finite automata, J. Autom., Lang. Comb., 21, 2016]启发的保持正则性语言操作的接受状态复杂性研究。我们证明除了逆向和商之外，对于几乎所有的操作，排列自动机的接受状态复杂性与一般的确定性有限自动机没有差别。对于逆向和商，我们证明了某些接受状态复杂性无法获得；这些数字在文献中被称为“magic”。此外，我们解决了关于由排列自动机和一般的确定性有限自动机接受的一元语言的交集的左开接受状态复杂性问题。
作者：Christian Rauch (Institut f"ur Informatik, Universit"at Giessen), Markus Holzer (Institut f"ur Informatik, Universit"at Giessen)
论文ID：2208.14731
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2022-09-01