作为一道生成函数的练习题。 不用生成函数推了好久还是错的。 以后遇到这类递推关系绝对首选 GF（能力范围内） 简单观察不难发现，如果 $m<n$，那么无解。如果 $m=n$，那么只能是连续的 $n$ 个01。 考虑 $m>n$ 的情况，不难发现任何一个合法串都可以在一个初始串——连续的 $n$ 个01中插入 $m-n$ 个 $0$ 得到…