6、分布式机器领域与顺序语法规则控制的探索

分布式机器领域与顺序语法规则控制的探索

1. 分布式机器中的随机化与共识算法

在分布式机器的世界里，进程可以调用 random() 函数，该函数以 1/2 的概率返回 0 或 1。共识算法的终止属性需要考虑随机化因素进行微调。相应的算法基于轮次执行，终止属性变为：当轮次 r 趋向于正无穷时，未崩溃的进程在第 r 轮做出决策的概率趋向于 1。从随机算法的角度来看，这些共识算法属于拉斯维加斯算法。

近期提出了一种适用于拜占庭消息解析系统的随机二进制共识算法，它在每一轮交换的消息数量（O(n²)）、期望轮数（O(n²)）和 t - 弹性（t < n/3）方面表现最优。该算法还能容忍可以读取消息内容并根据其值控制消息传递顺序的对手。同时，也有将多值共识简化为二进制共识的方法，适用于拜占庭消息传递系统，要求 t < n/3，且通信步骤数量为常数（每步需要 n² 条消息）。由于其非确定性无法预先预测，随机化似乎是应对拜占庭进程的合适方法。

分布式计算中的复杂度与可计算性

复杂度和可计算性是理解和掌握计算的两个重要视角。以下表格展示了在分布式计算中，从这两个视角会遇到的主要问题：
| | 同步 | 异步 |
| — | — | — |
| 无故障 | 复杂度 | 复杂度 |
| 易故障 | 复杂度 | 可计算性 |

2. 顺序语法规则的激活与阻塞机制

2.1 背景与动机

近三十年前，关于规则重写的研究已经对许多规则重写概念进行了全面概述，尤其是针对字符串的情况。后来发现，许多用于指导产生式/规则应用的机制也可应用于字符串以