31、直觉模糊自动机与图的独立 2 - 点集支配研究

直觉模糊自动机与图的独立 2 - 点集支配研究

在数学和自动机理论的研究中，直觉模糊自动机以及图的独立 2 - 点集支配是两个重要的研究方向。下面将为大家详细介绍这两方面的相关内容。

直觉模糊自动机

直觉模糊自动机的研究中，涉及到一些重要的公式推导和结论。
- 隶属度与非隶属度函数关系 ：在一系列的移动序列中，对于某个状态转移过程，有 $\mu_{cA}^ (p, x, q) = \mu_A^ (p, x, q)$。并且可以推导出 $L_{c\mu_A}(x) \leq L_{\mu_A}(x)$ 以及 $L_{\nu_A}(x) \geq L_{c\nu_A}(x)$ 和 $L_{c\nu_A}(x) \geq L_{\nu_A}(x)$，最终得出 $L_A(x) = L_{cA}(x)$。这些公式的推导过程如下：
- 首先，$L_{c\mu_A}(x) = \bigvee_{p, q \in Q} {i_{\mu_A}(p) \land \mu_A^ (p, x, q) \land f_{\mu_A}(q)} \leq \bigvee_{q \in Q} \bigvee_{p \in Q} {i_{\mu_A}(p) \land \mu_A^ (p, x, q) \land f_{\mu_A}(q)} = L_{\mu_A}(x)$。
- 对于非隶属度函数，$L_{\nu_A}(x) = \bigwedge_{q \in Q} \bigwedge_{p \in Q} {i_{\nu_A}(p) \lor \nu_A^ (p, x, q) \lor f_{\nu_A}(q)}$