郑州大学学报(自然科学版)
鄭州大學學報(自然科學版)
정주대학학보(자연과학판)
JOURNAL OF ZHENGZHOU UNIVERSITY Natural Science Edition)
2001年
2期
30-34
,共5页
宋煌%郑丽萍%庄雷%苏锦祥
宋煌%鄭麗萍%莊雷%囌錦祥
송황%정려평%장뢰%소금상
时间转换表%时间自动机%区域自动机%时间后继
時間轉換錶%時間自動機%區域自動機%時間後繼
시간전환표%시간자동궤%구역자동궤%시간후계
给出时间自动机的基本概念,描述了区域自动机的构造方法,并且实现了区域自动机的构造算法.简述了通过时间自动机进行自动验证的过程,最后分析了区域自动机构造算法的时间复杂度.
給齣時間自動機的基本概唸,描述瞭區域自動機的構造方法,併且實現瞭區域自動機的構造算法.簡述瞭通過時間自動機進行自動驗證的過程,最後分析瞭區域自動機構造算法的時間複雜度.
급출시간자동궤적기본개념,묘술료구역자동궤적구조방법,병차실현료구역자동궤적구조산법.간술료통과시간자동궤진행자동험증적과정,최후분석료구역자동궤구조산법적시간복잡도.