推 mi981027: 不是, A是一種語言，這個語言收集空字串，以及所有符合i 10/08 01:22
→ mi981027: nductive case的字串, 意思是，如果x, y屬於A，則1x0, 0 10/08 01:22
→ mi981027: x1, xy也都屬於A 10/08 01:22
→ mi981027: 舉例：令x = 10, 根據a小題，x屬於A，那1100也屬於A，01 10/08 01:22
→ mi981027: 01也屬於A，之類的 10/08 01:22
→ mi981027: f_0(x) = f_1(x)只是在說A的所有字串的0跟1的bit數是一 10/08 01:22
→ mi981027: 樣的 根據inductive case不難想像 證明b也寫的很清楚了 10/08 01:22
→ mi981027: c小題我覺得他講的有點不清楚，根據題目的要求，z應該 10/08 01:22
→ mi981027: 有個constraint就是我們已經假設z的0跟1的bits數一定一 10/08 01:22
→ mi981027: 樣了，在這個前提下才能說明一定存在非空s,t符合他證明 10/08 01:22
→ mi981027: 的情況(用反證法可以說明，這裡不贅述了) 10/08 01:22
推 mi981027: 抱歉 早上起來想想，好像不用反證，直觀說明就行了 10/08 07:36
→ mi981027: 不失一般性設頭尾為0，則中間必定有n個1，n-2個0 10/08 07:36
→ mi981027: 從左掃到右，當0個數=1個數時停下來，這段就是s，剩下 10/08 07:37
→ mi981027: 為t 10/08 07:37
→ mi981027: 因為中間1的個數多於0，所以這個情況一定會發生，而且會 10/08 07:37
→ mi981027: 在掃到倒數第二個數前發生(t至少會有2 bits) 10/08 07:37
→ fmtshk: 瞭解，感謝大佬 10/08 12:07