互模拟与非良基集合 |
| |
引用本文: | 姚从军.互模拟与非良基集合[J].重庆工商大学学报(自然科学版),2009,23(8):21-25. |
| |
作者姓名: | 姚从军 |
| |
作者单位: | 湖南科技学院思政部,湖南永州425100 |
| |
摘 要: | 描述两个系统的行为等价性,同态显得太弱,同构又显得太强,寻找一个介于同态与同构之间的概念就导致了互模拟的产生。互模拟有3个发源地,我们只从集合论这个角度来探究互模拟的起源。当人们把研究领域扩展到非良基集合时,通常的外延公理在判断非良基集合相等方面已显得无能为力,因此必须寻找新的更强的标准来断定集合的相等性,互模拟概念在集合论中应运而生。
|
关 键 词: | 互模拟 非良基 标号变迁系统 同构 |
本文献已被 维普 等数据库收录! |
|