时间自动机状态空间的一个极小化构造方法

摘要

对时间自动机的转换系统进行改进,提出了一个状态空间的极小化构造方法.该方法用位置和停留在该位置时的可能时钟值集合来表示状态,以此隐藏因时间流逝而引发的无穷状态,得到了改进的转换系统--时间段转换系统;并通过对转换可能发生时间的分析,去除无效转换;然后使用转换互模拟合并等价状态,实现了状态空间的极小化,有效地避免了状态空间爆炸.