由于a_i只取0或1（i=1，2，…，n-1），T_n是M_n中元素的个数，所以T_n=2^n-1；

在每一位（从第一位到第n-1位）小数上，数字0与1各出现2^n-2次，第n位则1出现2^n-1次

∴S_n=2^n-2×0.11…1+2^n-1×10^-n，

∴

故答案为：