El lenguaje java incorpora soporte para manejar situaciones anómalas, conocidas como excepciones, que pueden ocurrir durante la ejecución de un programa. Con este sistema de manipulación de excepciones un programa puede comunicar eventos inesperados a un contexto de ejecución más capacitado para responder a tales eventos anormales. Estas excepciones son manejadas por código fuera del flujo normal de control del programa.

En el ejemplo que tienes, el try-catch externo se encarga de detectar y atrapar las excepciones que puedan ocurrir en el ciclo for, mientras que el try-catch interno solo se encarga de atrapar las excepciones o errores que puedan ocurrir al hacer la división. Algo muy importante que debes recordar es que cuando ocurre una excepción en el código dentro del try se interrumpe el flujo normal del programa y la ejecución se salta al bloque try (por lo que, si había más código despues de las líneas que producen la excepción, este código ya no se ejecuta) Para entender mejor como funciona el código hay que analizar paso a paso que es lo que ocurre en cada iteración:

    Para i=0:
Se divide ```numer[0]/denom[0]``` = 4/2 = 2. 
    Cómo no hay ninguna excepción que atrapar el ciclo pasa a su siguiente iteración

    Para i=1:
Se divide ```numer[1]/denom[1]``` = 8/0 = NaN. 
    Cómo dividir un número entre 0 produce una indterminación, se lanza la excepción Arithmetic Exception, la cual se atrapa en el bloque catch, y se muestra el mensaje "Can't divide by zero!" y el ciclo pasa a suguiente iteración.
 
    Para i=2:
Se divide ```numer[2]/denom[2]``` = 16/4 = 4. 
    Cómo no hay ninguna excepción que atrapar el ciclo pasa a su siguiente iteración

    Para i=3:
Se divide ```numer[2]/denom[2]``` = 32/4 = 8. 
    Cómo no hay ninguna excepción que atrapar el ciclo pasa a su siguiente iteración

    Para i=4:
El mismo caso que en i=1, Se divide ```numer[4]/denom[4]``` = 64/0 = NaN. Se lanza la excepción Arithmetic Exception, la cual se atrapa en el bloque catch, y se muestra el mensaje "Can't divide by zero!" y el ciclo pasa a su siguiente iteración.

    Para i=5:
Se divide ```numer[5]/denom[5]``` = 128/8 = 16. 
    Cómo no hay ninguna excepción que atrapar el ciclo pasa a su siguiente iteración
    
    Para i=6:

Aquí es donde se presenta el error: como la posición numer[6] sí existe, no hay ningún problema para entrar al ciclo.

Una vez en el ciclo, se intenta hacer la operación ```numer[6]/denom[6]```, pero al no existir denom[6], se produce una excepción de tipo ArrayIndexOutOfBoundsException. Entonces la ejecución salta al bloque catch dentro del ciclo, pero como la excepción que atrapa es de otro tipo, la excepción no puede ser tratada; el ciclo se interrumpe y la ejecución se salta hasta otro bloque catch que pueda tratar la excepción, que en este caso es el segundo catch del código. 

Una vez atrapada la excepción, se muestra el mensaje "No matching element found.
Fatal error -- program terminated."

Despues de eso el programa termina pues porque no hay más código que ejecutar.