16、增量计算：语法、存储与操作详解

增量计算：语法、存储与操作详解

1. 增量计算结果展示问题

在增量计算中，除了内部结构设计，还有一个重要方面未被充分讨论，即如何将计算结果展示给人类，以便他们快速了解表单的当前状态、空缺位置及其相互关系。可以通过让计算机单独列出评估结果中所有未知量和函数（即所有空缺）来实现。用户可以指定哪些未知量作为输出的自由变量，计算机将这些未知量与其他未知量分开列出。此外，计算机可以将表单以树状形式展示（利用括号和逗号），而不是按顺序排列，并为空缺（可能还有不同类型的空缺）使用特殊格式（如果显示设备是阴极射线管，则使用特殊的亮度或颜色）。这个问题虽然在智力上可能难度较低，但在实际应用中与计算机内部结构设计同样重要，且目前尚未得到充分研究。

2. 语法相关内容

2.1 概述

此部分主要介绍符号的原始字母表，建立规则以将符号组合成特定的聚合体（即表单），这些表单是定义增量计算机可评估函数的基础，并研究这些表单的属性。这里介绍的字母表是初步的，仅包含引入形成规则和基本评估方法所需的符号，后续会进行扩展，以实现更紧凑的函数表示和更通用的评估方法。

2.2 原始字母表

原始字母表由三种符号组成：常量、操作符和标点符号。
- 常量 ：
- 真值 2 和 5。
- 由十进制数字和英文字母大写字符组成的有限序列，且至少包含一个字母（字母数字常量），例如 BUMBLEBEE、~11。
- 整数常量，用有限长度的数字序列表示，后面跟小写字符 b 和以二进制表示的基数，如果整数为负，则前面加负号。若省略字符 b 和基数指示，则基数默认为 10。例如 -240、137