贝拉德，贝特里奇;安托万·佩蒂特;沃尔克·迪克特;保罗·加斯廷 描述时间自动机中无声转换的表达能力。 （英语） Zbl 0930.68077号 安.社会.数学。政策。，序列号。四、 芬丹。信息。 36，第2-3号，145-182（1998）. 摘要：时间自动机是研究最广泛的实时系统模型之一。无声跃迁，即（varepsilon）-跃迁，已经在Alur和Dill关于时间自动机的原始论文中提出。我们证明了由带有（varepsilon）-转换的自动机识别的时间语言类（TL_varepsillon）比没有（varepsilon）转换的相应类（TL）更健壮，更具表达能力。然后，我们将重点放在没有重置的\（\varepsilon\）-转换上，即不重置时钟的\（\ varepsillon\）-转换。我们提出了一种算法，在给定一个时间自动机的情况下，构造一个没有这种转换的等价自动机。该算法分为两步，首先在不重置的情况下抑制\（\varepsilon\）-转换的循环，然后再抑制其余的循环。 引用于38文件 MSC公司： 65年第68季度 形式语言和自动机 关键词：时间自动机 PDF格式BibTeX公司 XML格式引用 \textit｛B.Bérard｝等人，Ann.Soc.Math。政策。，序列号。四、 芬丹。Inf.36，No.2--3，145--182（1998；Zbl 0930.68077）