信息、状态和控制的关系（头脑风暴）

信息、状态和控制的关系（头脑风暴）

刘建文略译（ http://blog.csdn.net/keminlau ）

KEY:信息处理 计算理论 形式语言 编程语言

 

信息、状态和控制的关系

计算的两本质元素是，第一，状态的操控；第二，操控的时间流程。

接着要计算什么，然后涉及[状态的表达]和[操控流的有目的安排]，前者是数据，后者是程序。

计算主体与计算客体

我 们说，计算涉及状态的操控和这种操控的有目标的安排，那操控由谁来主导呢？答案是一个称为计算主体的东西在主导计算过程。计算主体表现形式有自动机、人等 有一定逻辑判断能力的对象。计算主体必须能识别操作指令的操作语义（无论原始的还是非原始的），确切执行操作语义所对应的对计算客体所作的状态变更。

举一实例来理解

程序是什么？第一，程序与某个[作用域]一一关联；第二，程序由[指令]组成；指令由[操作码]和[操作值]组成。操作码是[机器]可认别的信息（预定的操作语义），操作值是机器可操作的对象。

程序与机器的关系

第 二章探讨有限记忆的程序（finite-memory programs）。状态（state）的概念被用来对有限记忆程序内的位置（location ）进行抽象和对程序的变量的赋值（assignmen