霍爾的自動售貨機
最近重讀形式語義學大師霍爾的經典之作－－<<通信順序進程>>，不禁又被他用來作簡單例子的自動售貨機逗樂了．現拮取幾段摘錄如下：
（１）一台售貨機，其每筆交易或賣巧克力或賣太妃糖．象許多復雜的機器一樣，這台售貨機有一個設計上的缺陷，顧客不能連續投入三個便士．但是改一下用戶手冊要比改進機器容易得多，所以，我們在機器上加上一條注意事項〞注意：不要接連投入三個便士．〞（２）有位貪心的顧客想不付錢就拿到一塊巧克力或太妃糖．只有在他這種欲望得不到滿足時，他才不情願地付給一枚硬幣；一旦付了錢後，他就非要塊巧克力不可了…
一位傻乎乎的顧客想買一塊大餅干，於是就把硬幣投入售貨機．他並沒有注意自己投入的是哪種硬幣，可是不管怎麼說，他非要塊大餅干不可．不幸的是，自動售貨機可不願吃虧．這位顧客投入一枚小硬幣，它才不會給出大餅干的．（３）解釋以上例子的故事，違背了科學抽象性和客觀性的標准．切記一點，事情應當是一種中性的變遷，是可由那些不懂得七情六欲的外星人觀察和記錄的．這類外星人不懂得吃餅干的樂趣，也不了解那位愚蠢的顧客徒然地等待食糧時挨餓的痛苦．（４）這台售貨機在第二位顧客的巧克力被送出之前的跡是ｃｏｉｎ，ｃｈｏｃ，ｃｏｉｎ不論是進程還是觀察員都無法了解這筆完整的交易會是怎樣．因為顧客的饑不可耐和機器滿足顧客要求的責任感都不在這些進程的字母表內，所以也就不能被觀察到或記錄下來．（５）這台響個不停的售貨機裡已經售完太妃糖了．但是顧客就想要太妃糖；ｃｕｒｓｅ是顧客拿不到太妃糖時的咒罵，後來他還是不得不拿一塊巧克力．要注意的是，數學公式是無法表現顧客的感情的，他當然情願要塊太妃糖而不願意說句難聽的話