计算理论：A如何成为机器M1识别的语言

Question

本文摘自一本计算理论书：

如果下图代表机器M1，

语言机M1如何识别A，描述为：

A = {w| w 至少包含一个 1，最后一个 1 后跟偶数个 0}

当字符串 011 被机器 M1 接受时。 011其实至少有一个1，但是偶数个0不在最后一个1后面。

那么说"and even number of 0s follow the last 1"是不是不对呢？

Answer 1

natural numbers的集合中有很多偶数。从非常大的 evens 向下计算，我们最终得出：..., 6, 4, 2, 0。实际上在最后一个 1 之后有零个 0，它在那个集合中。