incrementa en uno. Supongamos que E y F son configuraciones de paréntesis con el mismo número de paréntesis a la izquierda y la derecha. Por ejempl...

incrementa en uno. Supongamos que E y F son configuraciones de paréntesis con el mismo número de paréntesis a la izquierda y la derecha. Por ejemplo E tiene m paréntesis izquierdos y derechos y F tiene n paréntesis derechos e izquierdos. Cuando se aplica la regla IIb), el resultado es EF, que tiene el mismo número, es decir, m n, de paréntesis izquierdos y derechos. Así, cuando cada regla en la RECURSIÓN se aplica a una configuración de paréntesis en P con el mismo número de paréntesis izquierdos y derechos, el resultado es una configuración con un número igual de paréntesis izquierdos y derechos. Por tanto, todas las estructuras en P tiene el mismo número de paréntesis izquierdos y derechos.