计算机工程与应用 ›› 2010, Vol. 46 ›› Issue (26): 34-35.DOI: 10.3778/j.issn.1002-8331.2010.26.011
雷红轩1,2,黄建科3
LEI Hong-xuan1,2,HUANG Jian-ke3
摘要: 给出了格值有限状态机(简记为LFSM)状态后继的概念,研究了它的性质,并提出了格值子机、格值真子机和基于格值子机的可分离性的概念,讨论了格值子机的若干性质。最后,给出了两个构造格值子机的算法,并通过实例验证了此算法。
中图分类号: