区域自动机相关论文
论文首先给出了时间自动机的定义及相关符号，然后对使用等价类方法构造区域自动机的描述进行了算法实现。该算法的空间复杂度是状态......
给出时间自动机的基本概念,描述了区域自动机的构造方法,并且实现了区域自动机的构造算法.简述了通过时间自动机进行自动验证的过......
用时间自动机验证一个有穷状态实时系统的正确性,可归结为判定两个时间正则语言的包含问题,亦可归结为判定两个时间正则语言的交是......
