10、编程语言与计算机：统一元理论探索

编程语言与计算机：统一元理论探索

自然语言句法分析中的字符串与转换分解关系

在自然语言句法分析里，字符串和转换分解之间的关系有时较为复杂。转换分析所发现的更详细的关系，会在与字符串相关的句子片段中起作用。部分关系可作为字符串语法的细化内容，然而有些关系超出了实用字符串程序的处理范围。不过，这并不意味着包含这些转换关系的句子的字符串输出有误，只是它未能体现该句子与语言中其他句子的关联。

编程与计算机计算的统一元理论

元理论的动机

其主要目标是对计算机上的计算概念进行形式化描述，以便能在这个框架内严谨地阐述和研究计算活动中的关键实际问题。具体而言，就是要构建一个计算元理论，将编程语言中的计算和计算机中的计算整合起来。若该元理论能得到充分发展，那么高效编程语言和计算机的设计与使用中那些明显具有实用性的问题，都应在其研究范围内。

近年来，人们对有限状态机（或有限自动机）和图灵机（或潜在无限自动机）的行为进行了大量研究。但对于关注计算机设计和使用实用性的人来说，这些研究成果与他们面临的问题关联不大。原因在于，计算机的实用性主要涉及系统的结构和功能方面，而非其有限性或通用性。因此，在主要关注有限自动机的有限性或通用图灵机的通用性的模型框架内自然形成和解决的问题，并非将计算机视为系统时所面临的问题。本文的主要目的就是构建一个明确考虑计算机是计算系统这一事实的计算元理论。

从系统的角度来看，计算机与计算或编程语言之间存在紧密联系。在实际情况中，我们会遇到一大类输入 - 输出规格大致明确的问题。与这些问题相关的所有算法构成了我们试图设计的计算语言的句子集合。为了设计这种语言，需要明确其各个组成部分，并且要满足两个标准：