近似的NFA普适性及信息论相关问题
摘要：构建最大码是一个理想目标，既可以是变长码，也可以是固定长度的错误控制码。然而，确定码的最大性归结为确定一个给定的NFA是否是通用的，而这是一个困难的问题（包括确定NFA是否接受所有具有固定长度的单词的情况）。另一方面，知道一个码是否“近似”最大是可以接受的，这归结为确定给定的NFA是否是“近似”通用的。在这里，我们引入了$(1-epsilon)$-通用自动机的概念，并提出了用于测试NFA通用性和相关困难自动机问题的多项式随机近似算法，针对一些自然概率分布上的单词集。我们还得出结论，随机化方面是必要的，因为对于任何固定的多项式计算的epsilon，近似通用性仍然是困难的。
作者：Stavros Konstantinidis (1), Mitja Mastnak (1), Nelma Moreira (2), Rog''erio Reis (2) ((1) Saint Mary's University Halifax Canada, (2) University of Porto Portugal)
论文ID：2202.01594
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2022-04-13