书上看到：
我们可以造一台能将两个任意大的数字相加的FSM，但我们无法造一台FSM来检查任何我们
所挑选的括号串。正是这个对于无限记忆容量的要求，使我们无法制造一台FSM来执行二
进位乘法。
不太懂为什么
FSM可以处理任意大的数字相加
却不能处理任意长的括号串检查
乍看之下
任意大的数字也需要无限的记忆容量
thank