11、简单计算过程与翻译问题解析

简单计算过程与翻译问题解析

1. 简单计算过程基础概念

简单计算过程是基于简单编程语言的语句定义的语义计算。简单计算机是一种有限状态设备，能在特定有限意义下实现这些简单计算，其输入语言即简单计算机语言。在这部分，我们会精确地定义相关概念，并阐述简单计算的翻译问题。

简单编程语言的规范包含三个主要部分：
- 一组原语，涵盖名称集、基本函数集、基本谓词集、选择运算符集和属性集。
- 一组通用流程图。
- 定义在单个通用流程图上的计算过程。

通用流程图由特殊的基本流程图定义，计算过程实际上是在基本流程图上定义的。由于通用流程图可通过替换方法简化为基本流程图，计算过程也能自然地扩展到通用流程图。

2. 简单编程语言的原语

简单编程语言的原语由以下五个集合组成，并需满足特定的语法和语义条件：
- 可数无限的名称集 (V)。
- 有限的基本函数集 (F = {F_0, F_1, \ldots, F_n})。
- 有限的基本谓词集 (P = {P_1, P_2, \ldots, P_m})。
- 有限的选择运算符集 (S = {S_1, S_2, \ldots, S_n})。
- 有限的属性集 (A = {A_1, A_2, \ldots, A_n})。

语法条件如下：
1. (V) 中的元素由有限字母表通过给定的生成规则构造。
2. 每个基本函数具有 (F_r(X_r; Y_r)) 的形式，其中 (X_r) 和 (Y_r) 分别是输入和输出参数集。
3. 每个基本谓词具有 (P_i(Z_i)) 的形式，(Z_i) 是输入参数集。 <