优先级下降闭包
摘要：在通过有丢失信道发送消息的系统中，所有消息序列的语言编码可以通过其下闭包进行抽象化，即所有（未必连续的）子串的集合。这是有用的，因为即使系统具有无穷多个状态，其下闭包也是一个正则语言。然而，如果信道上的拥塞控制基于分配给消息的优先级，则我们需要更细致的抽象化：相对于优先级嵌入的下闭包。对于基于子串的下闭包，我们还可以证明这些优先级下闭包始终是正则的。 在基于子串的下闭包的有限自动机计算方面是众所周知的，但在优先级的情况下还没有任何研究。我们开始研究这个问题，并提供了计算正则语言、单计数器语言和上下文无关语言的优先级下闭包的算法。
作者：Ashwani Anand and Georg Zetzsche
论文ID：2307.07460
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2023-08-02