时序自动机的成员性测试

给定一个容许厚组件的时序自动机以及时序词$x$，我们提出一个测试器，利用从与输入$x$相关联的加权时间分布$\mu$中取出的有限多个样本，判定$x$是否属于该自动机的语言，或$x$是否距该语言$\epsilon$-远。我们引入时序词之间的距离，即{\em 时序编辑距离}，它推广了经典编辑距离。若时序词$x$到某时序语言的相对距离大于$\epsilon$，则称其与该函数语言$\epsilon$-远。