霍爾的自動售貨機(jī)

最近重讀形式語義學(xué)大師霍爾的經(jīng)典之作－－ ，不禁又被他用來作簡單例子的自動售貨機(jī)逗樂了．現(xiàn)拮取幾段摘錄如下：
（１）一臺售貨機(jī)，其每筆交易或賣巧克力或賣太妃糖．象許多復(fù)雜的機(jī)器一樣，這臺售貨機(jī)有一個設(shè)計上的缺陷，顧客不能連續(xù)投入三個便士．但是改一下用戶手冊要比改進(jìn)機(jī)器容易得多，所以，我們在機(jī)器上加上一條注意事項＂注意：不要接連投入三個便士．＂
 （２）有位貪心的顧客想不付錢就拿到一塊巧克力或太妃糖．只有在他這種欲望得不到滿足時，他才不情愿地付給一枚硬幣；一旦付了錢后，他就非要塊巧克力不可了…
一位傻乎乎的顧客想買一塊大餅干，于是就把硬幣投入售貨機(jī)．他并沒有注意自己投入的是哪種硬幣，可是不管怎么說，他非要塊大餅干不可．不幸的是，自動售貨機(jī)可不愿吃虧．這位顧客投入一枚小硬幣，它才不會給出大餅干的．
 （３）解釋以上例子的故事，違背了科學(xué)抽象性和客觀性的標(biāo)準(zhǔn)．切記一點(diǎn)，事情應(yīng)當(dāng)是一種中性的變遷，是可由那些不懂得七情六欲的外星人觀察和記錄的．這類外星人不懂得吃餅干的樂趣，也不了解那位愚蠢的顧客徒然地等待食糧時挨餓的痛苦．
 （４）這臺售貨機(jī)在第二位顧客的巧克力被送出之前的跡是ｃｏｉｎ，ｃｈｏｃ，ｃｏｉｎ不論是進(jìn)程還是觀察員都無法了解這筆完整的交易會是怎樣．因?yàn)轭櫩偷酿嚥豢赡秃蜋C(jī)器滿足顧客要求的責(zé)任感都不在這些進(jìn)程的字母表內(nèi)，所以也就不能被觀察到或記錄下來．
 （５）這臺響個不停的售貨機(jī)里已經(jīng)售完太妃糖了．但是顧客就想要太妃糖；ｃｕｒｓｅ是顧客拿不到太妃糖時的咒罵，后來他還是不得不拿一塊巧克力．要注意的是，數(shù)學(xué)公式是無法表現(xiàn)顧客的感情的，他當(dāng)然情愿要塊太妃糖而不愿意說句難聽的話