度量理论视角下的模糊性
摘要：Buchi自动机的有限词模糊性与相同自动机的无限词模糊性之间建立了强烈的关联。这一关联基于测度理论。更确切地说，我们表明，如果对于每个状态，从该状态开始的两个运行对应的无限序列的集合具有零测度，那么说明这样的自动机是不模糊的，即没有有限词标记与相同起始状态和相同结束状态的两个运行。用来定义这些可忽略的集合（即零测度集合）的测度可以是由与Buchi自动机兼容的加权自动机计算得到的任何测度。这个后一条件非常自然：测度在某些Buchi自动机运行的标签w上给予权重。
作者：Olivier Carton
论文ID：2011.10534
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2022-04-25