64、饱和线性动力系统稳定性的不可判定性

饱和线性动力系统稳定性的不可判定性

图灵机基础

图灵机是一种抽象的确定性计算机，具有有限的内部状态集合 $Q$。它在一个基于有限字母表 $\Sigma$ 的双向无限磁带上运行，磁带的每个方格由整数 $i$ 索引（$-\infty < i < \infty$）。在任何时刻，图灵机扫描索引为 0 的方格，根据其内部状态和扫描到的符号，它可以执行以下操作：
- 用新符号替换扫描到的符号。
- 将注意力转移到相邻方格（通过将磁带移动一个单位）。
- 转移到新的内部状态。

图灵机的指令以五元组 $[q_i, s_j, s_k, D, q_l]$ 的形式给出，其中：
- $q_i$ 和 $s_j$ 分别表示当前状态和扫描到的符号。
- $s_k$ 是要替换 $s_j$ 的符号。
- $D$ 是磁带的移动方向（左移、右移或不移动）。
- $q_l$ 是新的内部状态。

为保证一致性，任意两个五元组的前两个元素不能相同。如果图灵机进入一个没有对应五元组的状态 - 符号对，则称其停止。不失一般性，可假设 $\Sigma = {0, 1, \ldots, n - 1}$，$Q = {0, 1, \ldots, m - 1}$，其中 $n, m \in N$，并且图灵机停止当且仅当内部状态 $q$ 等于 0，我们称 $q = 0$ 为接受状态。

磁带内容可以用两个无限单词 $w_1, w_2 \in \Sigma^\omega$ 描述，其中 $\Sigma^\omega$ 表示字母表 $\Sigma$ 上的无限单词集合。$w_1$ 由扫描到的符号及其右侧的符号组成，$w_2$ 由扫描到的符号左侧的符号（