利用映射定义出现网

摘要

本文引入出现网的另一种定义称为代数出现网,在这种定义中利用B到B的幂集的映射h来代替变迁.文中证明了在定义中的4个条件是独立的;在第2节给出由代数出现网(B,h)构造出现网(B,E;G)的方法.第3节给出由出现网(B,E;G)构造代数出现网(B,h)的方法.

著录项

相似文献

  • 中文文献
  • 外文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号