public void creaAutomataCerradura(int tipoCerradura) {
        try {
            if (tipoCerradura == 0) {
                System.out.println("Generando automata para cerradura epsilon...");
            } else {
                System.out.println("Generando automata para cerradura positiva...");
            }

            int[] inicio_finTope = inicio_fin.pop();
            //System.out.println("-Tomado de pila inicio_fin: " + inicio_finTope[0] + "," +inicio_finTope[1]);
//-----  FIN+1  -->  INICIO
            String[] automataHijo = new String[3];
            automataHijo[0] = (inicio_finTope[1] + 1) + "";
            automataHijo[1] = "@";
            automataHijo[2] = inicio_finTope[0] + "";
            agregarAPilaAFN(automataHijo);
            if (tipoCerradura == 0) {
//----- FIN+1  --> FIN+2
                automataHijo = new String[3];
                automataHijo[0] = (inicio_finTope[1] + 1) + "";
                automataHijo[1] = "@";
                automataHijo[2] = (inicio_finTope[1] + 2) + "";
                agregarAPilaAFN(automataHijo);
            }
//----- FIN -->   FIN+2
            automataHijo = new String[3];
            automataHijo[0] = (inicio_finTope[1]) + "";
            automataHijo[1] = "@";
            automataHijo[2] = (inicio_finTope[1] + 2) + "";
            agregarAPilaAFN(automataHijo);
//----- FIN -->   INICIO
            automataHijo = new String[3];
            automataHijo[0] = (inicio_finTope[1]) + "";
            automataHijo[1] = "@";
            automataHijo[2] = (inicio_finTope[0]) + "";

            System.out.println("Nuevo estado final: " + (ultimoEstadoFinal + 1));
            System.out.println("Nuevo estado final: " + (ultimoEstadoFinal + 2));

            setUltimoEstadoInicial(ultimoEstadoFinal + 1);
            setUltimoEstadoFinal(ultimoEstadoFinal + 2);

            inicio_finTope[0] = this.ultimoEstadoInicial;
            inicio_finTope[1] = this.ultimoEstadoFinal;

            setConjuntoDeEstados(inicio_finTope[0] + "");
            setConjuntoDeEstados(inicio_finTope[1] + "");

            agregarAPilaAFN(automataHijo);
            agregarAPilaInicio_Fin(inicio_finTope);
            imprimirPilaAutomata();
            imprimirPilaInicioFin();
        } catch (EmptyStackException ese) {
            ese.getStackTrace();
            System.out.println("La pila est\u00E1 vac\u00CDa");
            setBanderaError();
        }
    }