历史决定论与量化自动机中的优势竞技
摘要：非确定性和选择性之间的自动机模型可以保留确定性自动机的一些算法特性，同时享受非确定性的表达性和简洁性。我们研究了三个紧密相关的模型——历史决定性、适用于游戏性和可通过修剪实现的决定性——在定量自动机上。在布尔设置下，历史决定性和适用于游戏性是相等的，但我们显示在定量设置下不再成立：适用于游戏性比历史决定性更广泛，并且与之相对应的是一种松弛版本，与阈值相关。我们进一步确定了历史决定性与通过修剪实现的决定性相等的标准，并将其应用于典型的定量自动机类型。作为适用于游戏和历史决定性自动机的一个关键应用是综合，我们澄清了这两个概念以及各种定量综合问题之间的关系。我们证明了适用于游戏的自动机在“全局”（经典）综合中是中心的，而“局部”（足够好）的综合可以归结为判断非确定性自动机是否是历史决定性的。
作者：Udi Boker and Karoliina Lehtinen
论文ID：2110.14238
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2021-10-28