https://i.imgur.com/kmmkvF1.jpg
关于这题目的Inductive case意思
是说x,y∈A 那么可能会是0x1,1x0或xy?
不是很懂为什么f0(z)=f1(z)
看了(b)的证明好像有点半懂,所以代表x,y一定是相同数量的0和1组成的？
另外(c)解答最后3行,为何必存在s,t使z=st?

不是, A是一种语言，这个语言收集空字串，以及所有符合inductive case的字串, 意思是，如果x, y属于A，则1x0, 0x1, xy也都属于A举例：令x = 10, 根据a小题，x属于A，那1100也属于A，0101也属于A，之类的f_0(x) = f_1(x)只是在说A的所有字串的0跟1的bit数是一样的 根据inductive case不难想像 证明b也写的很清楚了c小题我觉得他讲的有点不清楚，根据题目的要求，z应该有个constraint就是我们已经假设z的0跟1的bits数一定一样了，在这个前提下才能说明一定存在非空s,t符合他证明的情况(用反证法可以说明，这里不赘述了)抱歉 早上起来想想，好像不用反证，直观说明就行了不失一般性设头尾为0，则中间必定有n个1，n-2个0从左扫到右，当0个数=1个数时停下来，这段就是s，剩下为t因为中间1的个数多于0，所以这个情况一定会发生，而且会在扫到倒数第二个数前发生(t至少会有2 bits)

了解，感谢大佬