首页 > 过刊浏览>1980年第3卷第3期 >1980,3(3) CSTR:[cstr]

上一篇 | 下一篇

不完全描述时序机的封闭类和极小化方法

发布日期：

摘要
图/表
访问统计
PDF预览
参考文献
相似文献
引证文献
附件

[关键词]

[摘要]

本文证明了所有循环相关的相容组和它的任何一个循环相关的蕴涵相容组具有相同的封闭相关类。同时,提出了一个更重要的封闭类,即所有一级蕴涵相容组构成的封闭类。证明了这个封闭类所包含的相容对就是一切相容对的蕴涵相容对的封闭类。在此基础上,提出了一个有效的极小化方法——建立无多余元素的蕴涵相容对封闭类的极小闭包的方法。此方法较其它方法简单。

[Key word]

[Abstract]

[中图分类号]

[基金项目]

更多...

更多...