为什么文章中的这个问题是不可能的?

Why is this issue in the article impossible?

http://wiki.apidesign.org/wiki/Impossible

我看了这个,我不明白为什么这个问题似乎是不可能的。给 "machine" 的字符串总是有限的,对吗?

因此,即使我有 10 亿个零和 10 亿个 1,也可以轻松编写一个脚本,使该字符串的 returns 为真或假(它将是 true/accepted)。

另一个输入可能是“00011”,这使其无效。

我可能没听懂,但这个问题对我来说 "codeable"。

当您说 "codeable" 时,您的意思是它可以使用可以被视为图灵机版本的计算机进行编码(隐式具有无限内存)。 但是有限状态机没有无限的内存(比如 10 亿个状态),当它们被输入 10 亿和 1 个零时,它们会忘记零的数量(忘记)并且无法将其与相等数量的一相匹配。 可以使用常规语言的抽取引理建立完整的论证: http://en.wikipedia.org/wiki/Pumping_lemma_for_regular_languages