12、编程语言与计算机：统一元理论解读

编程语言与计算机：统一元理论解读

1. 翻译器构建问题

在编程语言与计算机的相关研究中，翻译器的构建是一个重要问题。对于固定的编程语言 L，为不同计算机 Cα 构建翻译器 E(L, Cα) 是一项具有挑战性的任务。若能使用标准编程语言编写这些翻译器并自动生成其计算机版本，将具有显著优势。

对于具有丰富原语集的编程语言 L，该问题可按以下步骤解决：
- 设 C1 为一台计算机，E(L, C1) 作为其程序，记为 p(E(L, C1); C1)。
- 为另一台计算机 C2 构建 p(E(L, C2); C2)，可按如下操作：
1. 构建 g(E(L, C2); L)，它代表翻译器 E(L, C2) 在 L 中的流程图。
2. 使用 p(E(L, C1); C1) 翻译 g(E(L, C2); L)，得到 p(E(L, C2); C1)，即计算机语言 C1 中的翻译器 E(L, C2)。
3. 再次使用 p(E(L, C2); C1) 翻译 g(E(L, C2); L)，得到 p(E(L, C2); C2)，这就是所需的计算机语言 C2 中的翻译器。

这种技术在相关研究中有所应用，例如使用 JOVIAL 作为编程语言 L。

2. 简单计算模型的局限性

简单计算模型将简单计算定义为在简单编程语言 L 的单个通用流程图上执行的过程，且该过程实际仅在 L 的基本流程图上定义。通用流程图可简化为基本流程图，前提是输入 - 输出集保持不变。但这种简化排除了流程图中标签自引用或不同流程图中标签相互引用的情况，导致递归程序不在简单编程语言的范围内。

此外，简单计算的元理论还存在以下两个主