霍尔的自动售货机
最近重读形式语义学大师霍尔的经典之作－－<<通信顺序进程>>，不禁又被他用来作简单例子的自动售货机逗乐了．现拮取几段摘录如下：
（１）一台售货机，其每笔交易或卖巧克力或卖太妃糖．象许多复杂的机器一样，这台售货机有一个设计上的缺陷，顾客不能连续投入三个便士．但是改一下用户手册要比改进机器容易得多，所以，我们在机器上加上一条注意事项＂注意：不要接连投入三个便士．＂
（２）有位贪心的顾客想不付钱就拿到一块巧克力或太妃糖．只有在他这种欲望得不到满足时，他才不情愿地付给一枚硬币；一旦付了钱后，他就非要块巧克力不可了…
一位傻乎乎的顾客想买一块大饼干，于是就把硬币投入售货机．他并没有注意自己投入的是哪种硬币，可是不管怎么说，他非要块大饼干不可．不幸的是，自动售货机可不愿吃亏．这位顾客投入一枚小硬币，它才不会给出大饼干的．
（３）解释以上例子的故事，违背了科学抽象性和客观性的标准．切记一点，事情应当是一种中性的变迁，是可由那些不懂得七情六欲的外星人观察和记录的．这类外星人不懂得吃饼干的乐趣，也不了解那位愚蠢的顾客徒然地等待食粮时挨饿的痛苦．
（４）这台售货机在第二位顾客的巧克力被送出之前的迹是ｃｏｉｎ，ｃｈｏｃ，ｃｏｉｎ不论是进程还是观察员都无法了解这笔完整的交易会是怎样．因为顾客的饥不可耐和机器满足顾客要求的责任感都不在这些进程的字母表内，所以也就不能被观察到或记录下来．
（５）这台响个不停的售货机里已经售完太妃糖了．但是顾客就想要太妃糖；ｃｕｒｓｅ是顾客拿不到太妃糖时的咒骂，后来他还是不得不拿一块巧克力．要注意的是，数学公式是无法表现顾客的感情的，他当然情愿要块太妃糖而不愿意说句难听的话
（１）一台售货机，其每笔交易或卖巧克力或卖太妃糖．象许多复杂的机器一样，这台售货机有一个设计上的缺陷，顾客不能连续投入三个便士．但是改一下用户手册要比改进机器容易得多，所以，我们在机器上加上一条注意事项＂注意：不要接连投入三个便士．＂
（２）有位贪心的顾客想不付钱就拿到一块巧克力或太妃糖．只有在他这种欲望得不到满足时，他才不情愿地付给一枚硬币；一旦付了钱后，他就非要块巧克力不可了…
一位傻乎乎的顾客想买一块大饼干，于是就把硬币投入售货机．他并没有注意自己投入的是哪种硬币，可是不管怎么说，他非要块大饼干不可．不幸的是，自动售货机可不愿吃亏．这位顾客投入一枚小硬币，它才不会给出大饼干的．
（３）解释以上例子的故事，违背了科学抽象性和客观性的标准．切记一点，事情应当是一种中性的变迁，是可由那些不懂得七情六欲的外星人观察和记录的．这类外星人不懂得吃饼干的乐趣，也不了解那位愚蠢的顾客徒然地等待食粮时挨饿的痛苦．
（４）这台售货机在第二位顾客的巧克力被送出之前的迹是ｃｏｉｎ，ｃｈｏｃ，ｃｏｉｎ不论是进程还是观察员都无法了解这笔完整的交易会是怎样．因为顾客的饥不可耐和机器满足顾客要求的责任感都不在这些进程的字母表内，所以也就不能被观察到或记录下来．
（５）这台响个不停的售货机里已经售完太妃糖了．但是顾客就想要太妃糖；ｃｕｒｓｅ是顾客拿不到太妃糖时的咒骂，后来他还是不得不拿一块巧克力．要注意的是，数学公式是无法表现顾客的感情的，他当然情愿要块太妃糖而不愿意说句难听的话
