最近重讀形式語義學大師霍爾的經典之作－－<<通信顺序进程>>，不禁又被他用來作簡單例子的自動售貨機逗樂了．現拮取幾段摘錄如下：
（１）一台售貨機，其每筆交易或賣巧克力或賣太妃糖．象許多複雜的機器一樣，這台售貨機有一個設計上的缺陷，顧客不能連續投入三個便士．但是改一下用戶手冊要比改進機器容易得多，所以，我們在機器上加上一條注意事項＂注意：不要接連投入三個便士．＂。
（２）有位貪心的顧客想不付錢就拿到一塊巧克力或太妃糖．只有在他這種慾望得不到滿足時，他才不情願地付給一枚硬幣；一旦付了錢後，他就非要塊巧克力不可了…。
一位傻乎乎的顧客想買一塊大餅乾，於是就把硬幣投入售貨機．他並沒有注意自己投入的是哪種硬幣，可是不管怎麼說，他非要塊大餅乾不可．不幸的是，自動售貨機可不願吃虧．這位顧客投入一枚小硬幣，它才不會給出大餅乾的．？
（３）解釋以上例子的故事，違背了科學抽象性和客觀性的標準．切記一點，事情應當是一種中性的變遷，是可由那些不懂得七情六慾的外星人觀察和記錄的．這類外星人不懂得吃餅乾的樂趣，也不了解那位愚蠢的顧客徒然地等待食糧時挨餓的痛苦．。
（４）這台售貨機在第