8、系统网的术语表示与集合值术语

系统网的术语表示与集合值术语

在系统网的研究中，我们需要一些精确的概念和方法来对其进行描述和分析。本文将深入探讨系统网的术语表示以及集合值术语的相关内容，包括基本概念、系统网的表示方法、集合值术语的引入及应用等方面。

1. 基本概念

首先，我们来了解一些基本的概念和符号。集合 (T_A(\varnothing)) 由 (A) - 基项组成，通常写作 (T_A)。对于每个属于 (T_A) 且类型为 (B) 的项 (u)，(\text{val }u) 是一个唯一的函数 (\text{val }u:\varnothing\rightarrow B)，它表示 (B) 中的一个唯一元素，这个元素记为 (\text{val }u)。例如，对于前面考虑的结构 (Phils)，(u = l(b)) 是一个 (phils) - 基项，且 (\text{val }u=\text{val }f_3 = f_3)。

2. 系统网的术语表示

基于前面介绍的结构和术语，我们可以对系统网进行表示。其中，转换的动作表示是关键概念。每个转换 (t) 都被赋予其发生模式的集合 (M_t)，每个发生模式定义一个动作。

例如，有如下一个典型的例子：

x  f(x)  (x,y)
A  B  C
t  g(x,y)

假设变量 (x) 的类型为 (M)，(y) 的类型为 (N)，且 (x) 在 (y) 之前排序。那么 (M\times N) 就是转换 (t) 的发生模式集合。每个对 ((m; n)\in M\times N) 通过在相邻项中用 (m) 和