Dejemos que $S$ sea el conjunto de cadenas binarias de longitud $n+m+2$ con $n+1$ y $m+1$ ceros. Por definición, $$|S|=\binom{n+m+2}{n+1}.$$
Dejemos que $L \in S$ . Sea $\beta$ sea el bit en el último lugar de $L$ y $\overline{\beta}$ sea el complemento de $\beta$ .
Desde $n \geq 0$ y $m \geq 0$ Sabemos que $L$ tiene la forma $$L=(\text{substring } X,\overbrace{\overline{\beta},\overline{\beta},\ldots,\overline{\beta}}^i,\overbrace{\beta,\beta,\ldots,\beta}^j)$$ donde $i \geq 1$ (y $i$ es el máximo número entero positivo posible) y $j \geq 1$ . Observamos:
-
La subcadena $X$ obtenido es una cadena binaria con un máximo de $n$ y como máximo $m$ ceros.
-
Toda cadena binaria no vacía $X$ con un máximo de $n$ y como máximo $m$ Los ceros se pueden obtener de forma única de esta manera (añadiendo unos y ceros de forma adecuada).
-
La cadena binaria vacía $X$ puede obtenerse exactamente de dos maneras.
Por lo tanto, hay $|S|-1$ cadenas binarias con un máximo de $n$ y como máximo $m$ ceros.