[問題] FSM無法檢查任意長的括號串？

[dharma (達)]

書上看到：

我們可以造一台能將兩個任意大的數字相加的FSM，但我們無法造一台FSM來檢查任何我們
所挑選的括號串。正是這個對於無限記憶容量的要求，使我們無法製造一台FSM來執行二
進位乘法。




不太懂為什麼

FSM可以處理任意大的數字相加

卻不能處理任意長的括號串檢查


乍看之下

任意大的數字也需要無限的記憶容量

thank

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 210.65.89.53
※ 文章網址: https://www.ptt.cc/bbs/Programming/M.1464658050.A.834.html
推 IKAFIRE: 你可以畫畫看檢查不同長度括號的FSM長甚
→ IKAFIRE: 麼樣子
推 longlongint: input的記憶體消耗不算 因為可以做成
→ longlongint:  stream
→ MOONRAKER: 相加每次只要處理一位(1 digit)就好
→ MOONRAKER: 又者你有看過FSM的記憶嗎 記憶在哪裡
推 CaptainH: 如果你的兩個數字是分開輸入，那當然也
→ CaptainH: 需要無限大的記憶體
→ MOONRAKER: 那不干FSM的事情。
我好好思索下
※ 編輯: dharma (210.65.89.53), 06/02/2016 12:34:44