取值于完备格的同步机及其最小实现化

• 作者: 李平 李永明
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 完备格 取值于完备格的同步机 最小实现化
• 年，卷（期）: 2010,（18）
• 所属期刊栏目: 博士论坛
• 页码范围: 13-14,17
• 分类号: TP301.1
• 字数: 2841字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2010.18.005

摘要

首先给出了取值于完备格的同步机以及它的可达性、可观测性的定义,得到了取值于完备格的同步机的两个基本结论:值有限性及序引理.其次,利用值有限性质及序引理,进一步给出了取值于完备格的同步机的最小实现化问题,并证明了可达且可观测的取值于完备格的同步机就是最小实现化的同步机.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李永明	陕西师范大学数学与信息科学学院	165	505	12.0	16.0
5	李平	陕西师范大学数学与信息科学学院	26	31	3.0	4.0