目录
目录
过渡系统。
过渡系统已经建立语义模型对于顺序和并发系统。
定义
A类过渡系统是一个结构,其中
让成为一个过渡系统。我们写作
以表明.
定义
A类同构从一个过渡系统,,对另一个将是一对,其中
-
是来自以下状态的函数到那些
-
是一个部分函数来自的标签到那些这样,对于任何过渡属于如果定义,然后是的过渡; 否则,如果是未定义的,那么.
使用该思想的一种变体重新定义形态是有用的,在部分函数,它使用添加一个附加元素的巧妙技巧将部分函数替换为总函数到密码子。(我们将使用部分函数随心所欲。)这里只需介绍一下空闲转换 认为是从对自己,并与作为一组标签,而不是.(此处非常整洁,因为它与标签相对应对国家什么都不做。)以这种方式完成所有工作后,我们得到了新的过渡系统等,并将使用这些。(当然,.)现在是一个态射与一对给定的相同,和以前一样,以及,满足兼容性条件,如果,然后,(以及).
这样我们就得到了一个类别,过渡系统的。
过渡系统和它们之间的形态的概念显然与(低维)有关立方体集合/标签有向图/标签过渡系统,但我们需要考虑带标签的立方集。
标记的过渡系统。
在上面,我们使用了符号代表事件和一套标签对于这些事件。有时,区分事件本身和它们的标签,并明确地将标签作为一个函数是有用的。例如,在处理导致范畴腓骨情势(见下文引述的温斯克和尼尔森的论文)为了更清楚地区分,我们将替换通过并在下文中将其元素称为“事件”。
定义
A类标记过渡系统由过渡系统组成连同一套属于标签、和函数。我们将其表示为.
A类同构,标记转移系统之间包含一个态射在底层转换系统之间以及部分函数 这样的话.
我们写作对于标记的过渡系统类别。
TS作为关系结构
我们可以将过渡系统视为关系结构。状态集是“世界集”,对于每个事件,我们定义一个关系通过当且仅当,。因此,我们导出了每个事件的关系,相反,如果我们知道家庭然后我们可以重建以显而易见的方式。
高维类似物
以下为暂定定义
高维跃迁系统,
需要更多nPOV公司这一理论。
另请参见
工具书类
关于以下方面的讨论互模拟和开放态射: