论文部分内容阅读
首先给出了取值于完备格的同步机以及它的可达性、可观测性的定义,得到了取值于完备格的同步机的两个基本结论：值有限性及序引理。其次,利用值有限性质及序引理,进一步给出了取值于完备格的同步机的最小实现化问题,并证明了可达且可观测的取值于完备格的同步机就是最小实现化的同步机。
取值于完备格的同步机及其最小实现化
【摘 要】
：
首先给出了取值于完备格的同步机以及它的可达性、可观测性的定义,得到了取值于完备格的同步机的两个基本结论：值有限性及序引理。其次,利用值有限性质及序引理,进一步给出了
【机 构】
：
陕西师范大学数学与信息科学学院,陕西师范大学计算机科学学院
【出 处】
：
计算机工程与应用
【发表日期】
：
2010年18期
【基金项目】
：
国家自然科学基金 No.10571112, 陕西师范大学研究生培养创新基金No.2007CXB004
其他文献
目的:探讨MEBT/MEBO治疗小儿特重度烧伤的可行性及远期疗效.方法:烧伤后全程应用MEBT/MEBO结合临床综合措施治疗.结果:34天创面痊愈出院,未植皮,无瘢痕,无功能障碍.结论:MEBT