盧赫：“什么叫自動機？“

艾達否：“自動機就是對信號序列進行判定的數學模型。我嘴里的自動機特質有限狀態機，當這個機處于某種狀態時，它會讀到相應的信號，根據轉移函數跳到下一個狀態，可以視作一臺沒有內存結構的計算機。

比如你現在餓了，那你就要去食堂，把晶瑩飽滿、粘糯有較勁、香到不可思議的新米飯一勺一勺填進嘴里，直到胃被塞滿。饑餓感是信號，餓了要吃飯是狀態，去食堂是轉移函數，飽是執行完轉移函...