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)

瞭解，感謝大佬