20、自适应自动机：重新审视的提案

自适应自动机：重新审视的提案

1. 引言

自适应规则驱动设备的结构和操作已被正式定义。结构化下推自动机是经典下推自动机的一种变体，其中状态被聚类为相互递归的有限状态子机，限制了控制下推存储仅用于处理返回状态。自适应自动机是自我修改的规则驱动形式化方法，其底层非自适应设备是结构化下推自动机，且结构化下推自动机与经典下推自动机完全等价。

然而，自适应自动机有时缺乏简单性，导致难以理解和维护。本文提出对该模型的特征使用施加一些限制，以获得更易于创建和理解的设备，同时不损失其原始计算能力。

2. 自适应自动机

为了实现自我修改，每当应用状态转移规则时，附加到这些规则的自适应动作就会被激活。

2.1 底层结构化下推自动机

有限状态自动机由一组状态、一个有限非空字母表、一个转移函数、一个初始状态和一组最终状态组成。转移将指定当前状态和当前输入符号的有序对映射到一个新状态。从状态 A 到状态 B 有两种类型的转移：
- 消耗输入符号 α 的转移：(A, α) → B
- 空转移：(A, ϵ) → B

结构化下推自动机还具有一组状态、一个有限非空字母表、一个初始状态、一组最终状态、一个下推字母表和一个转移函数，包括内部转移和负责调用和返回方案的外部转移。除了两种内部转移外，子机还允许特殊的调用和返回转移：
|转移类型|符号表示|图形表示|
| ---- | ---- | ---- |
|从状态 A 调用初始状态为 X 的子机，返回状态为 B|(A, ϵ) → (↓B, X)|⃝A =⇒ _X ⃝B|
|在当前子机的最终状态 C