时钟自动机中的空性和普遍性问题与正频率
摘要：基于频率的定时自动机接受的无穷定时词语言通常使用Buchi-like条件进行定义。这些接受条件关注运行过程中无穷次访问的位置集合，但完全忽略了定量的时间方面。本文提出了一种自然的基于频率的定时自动机定量语义，其中频率衡量了在接受位置上所花费的时间比例。我们研究了以正频率接受的定时语言的各种性质，特别是空集和全包性问题。
作者：Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Amelie Stainer
论文ID：1309.2842
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2013-09-12