林远没想到，沈先生和董先生来了之后，竟然是这么个反应。
数理逻辑和计算机科学，本就是同根同源，图灵机的理论模型，本身就是数理逻辑的产物。
这两位老先生搞了一辈子逻辑，今日见着能把逻辑“跑”起来的机器，那种激动，可想而知。
“林远同志，”周明把桌上的一张纸递了过来，“仓颉语言的指令表，我们定了第二版。劳烦你给看看。”
林远接过纸，扫了一眼。
只见纸上用汉字写着：
“操作码（六）——第一地址（十二）——第二地址（十二）
取ab累加器←(a)
存ab(a)←累加器
加ab累加器←累加器+(a)
......(运行中......已略过......)
零ab若累加器=0，指令计数器←a
入ab从输入设备读入→(a)
出ab输出(a)
停ab停机
伪指令：
标x定义标号x
字n定义数据字n”
纸的下半部分，是周明手写的一段示例程序：求一到一百的和：
“标始
取零