计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2010年
26期
34-35,124
,共3页
格值有限状态机%后继%可分离性%子机%构造算法
格值有限狀態機%後繼%可分離性%子機%構造算法
격치유한상태궤%후계%가분리성%자궤%구조산법
给出了格值有限状态机(简记为LFSM)状态后继的概念,研究了它的性质,并提出了格值子机、格值真子机和基于格值子机的可分离性的概念,讨论了格值子机的若干性质.最后,给出了两个构造格值子机的算法,并通过实例验证了此算法.
給齣瞭格值有限狀態機(簡記為LFSM)狀態後繼的概唸,研究瞭它的性質,併提齣瞭格值子機、格值真子機和基于格值子機的可分離性的概唸,討論瞭格值子機的若榦性質.最後,給齣瞭兩箇構造格值子機的算法,併通過實例驗證瞭此算法.
급출료격치유한상태궤(간기위LFSM)상태후계적개념,연구료타적성질,병제출료격치자궤、격치진자궤화기우격치자궤적가분리성적개념,토론료격치자궤적약간성질.최후,급출료량개구조격치자궤적산법,병통과실례험증료차산법.