排列自动机和交换字母识别的语言的投影的状态复杂性
摘要：确定性的通用自动机的投影语言可以被一个具有$2^{n-1} + 2^{n-m} - 1$个状态的确定性自动机识别，其中$m$表示不可观察非循环转换的状态数，这个界是最佳的。在这里，我们推导出排列自动机的最紧界$2^{n - \lceil \frac{m}{2} \rceil} - 1$。对于具有$n$个状态的状态划分自动机（也称为具有观察者属性的自动机），投影语言可以通过$n$个状态进行识别。迄今为止，这些和将有限语言投影到一元语言的自动机类别是唯一已知具有这种性质的自动机类别。我们证明了这对于可交换自动机也成立，并且我们找到了不是状态划分自动机的可交换自动机。
作者：Stefan Hoffmann
论文ID：2108.06976
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2021-08-17