2-1.png

2-2.png

2-3.png

2-4.png

2-5.png

2-6.png

2-7.png

2-8.png

2-9.png

因为0的个数和1的个数要保持一致，所以沿途要记录0的个数与1的个数的差，每个差值对应都要一个状态，而这个值可能是无限的，所以无法用有穷状态机表示。（D中01和10最多差1，所以是正则的）