http://wiki.apidesign.org/wiki/Impossible
我看了一下，我不明白为什么这个问题似乎不可能。赋予“机器”的字符串总是有限的吗？
因此，即使我有10亿个零和10亿个零，也可以轻松编写一个脚本，该字符串对该字符串返回true或false（它将为真/接受）。
另一个输入可能是“00011”，使其失效。
我可能在这里不明白，但这个问题似乎对我来说是“可编码的”。
答案 0 :(得分：0)
当你说“可编码”时，你的意思是它可以使用计算机编码，可以将其视为图灵机的一个版本（隐含无限内存）。 但是有限状态机没有无限的内存（比如10亿个状态），当它们被10亿个和1个零点供给时，它们会丢失零的数量（忘记）并且不能与相同数量的零相匹配。 可以使用常规语言的泵浦引理建立完整的参数： http://en.wikipedia.org/wiki/Pumping_lemma_for_regular_languages