全量知识系统 详细设计 祖传代码之 翻译器、解释器和编译器 暨 文档规范 之1

文档规范--“祖传代码”的翻译器、解释器和编译器 

序

在前面的沟通的文字表达中，总会涉及到如何使用和理解 文字中的各种常规或非常规的符号引用。如果没有一套标准来解释它，会造成不必要的理解偏差。所以，从今天起，我们暂时放下前面的工作，尝试着能系统化地给出 全量知识系统 文档中的具有确定意义和用法的符号标准。它们的处理是由“祖传代码”中设计的翻译器、解释器和编译器来实现的。

翻译器、解释器和编译器分别使用不同的符号系列，在全量知识系统中 它们具有专门的名称、意义和用法及语法。

• 解释器：代表“敏感sensitive”的诠释学含义，采用<<>>，每一个被称为一个“外围装置device”。其中设计了一些 非封闭的符号 ，同时还通过符号的个数来表示 “层级”的含义。 比如， 1~3个破折号和点号等 。
• 编译器：代表了“理性rational”的 符号学含义，表示内容文字（人工语言的、自然语言的和自然语言的）的表达格式，使用大中小三种括号， 被称为“括号设备equipment”。 “括号设备”可嵌套、级联和层叠使用。
• 翻译器：代表了“生物animate”的工程学含义。  解释器使用各种引号（单引双引 及 角引等） 被称为“引号设施facility”。

以上三个限定词 （敏感的sensitive、理性rational、生物animate） 是全量知识系统为分析“全量知识”而给出的“知识”的全部三个可量化方面的原始条件（三种智慧intellect类别）表示。它采用一个自下而上的分类法，最顶上是一个最高属（the supreme genus） 的“物品Substance”，在“祖传代码”中给出 animate/inanimate, sensitive/insensitive, 和 rational/irrational三对差异作为其后继 “现代编程”的差异树中细分类别的基础。“祖传代码”将通过给出增加差异 来区分“属genus”、定义“种”和描述“科family” 的初始条件（它们分别是 翻译器、解释器和编译器的工作）来给出某个“知识”的有关“乘客”的 初始断言。这也是“祖传代码”的第一步工作。

注：继承技术是沿着任何类别上的路径合并差异的过程。

翻译器

下面先从“翻译器开始”。

包括三类 ：正式的标准“formal” 、正规的规范“normal” 和 常规的规则“rule”。对应的设施类别 分别称为 “分类设施 、 “名字设施”、“便利设施”。它们分别表示了 解释器中要处理（解释）的三种标签 label( 类型标签Type、名称标签Name和双指标签Corefrerence）,它们是“祖传代码” 中翻译器要输出的数据模型（“结构型”，是三种系统标签）。而对外，解释器的输出结果是  归简reduce的Web本体的三个html 标签，分别是 引用标签a，段落标签p和  块标签div。在“祖传代码” 母语脚本标准模板中对应使用三个 引导符，声明Dec，放任Let和定义Def 。

规则表示格式（引号设施）： 用短语表示的名称 其后使用（）中的文字来表示该规则涉及到的概念（普通名词，用全角双引号“”封闭 ）和术语（技术术语，用全角角引号封闭 ）。     数学程序procedure（基于数学类比的演绎推理）的：“引用Reference”的程序“模板template” ， “属性Attribute”的程序“模式pattern”、“操作Operation”的程序“模型model”）