private void generarArchivoAutomata() {
        FileWriter archivoAutomata = null;
        PrintWriter pw = null;
        this.nombreAutomata = "AFN_TXT\\" + JOptionPane.showInputDialog("Por favor, indique el nombre del archivo que almacena al automata")+".txt";
            
        try {
            archivoAutomata = new FileWriter(nombreAutomata);
            pw = new PrintWriter(archivoAutomata);
            for (int i = 0; i < automataFormateado.size(); i++) {
                pw.println(automataFormateado.get(i));
            }

        } catch (IOException ex) {
            Logger.getLogger(AFN.class.getName()).log(Level.SEVERE, null, ex);
        } finally {
            try {
                if (null != archivoAutomata) {
                    archivoAutomata.close();
                    JOptionPane.showMessageDialog(null, "El archivo " + nombreAutomata + " se gener\u00f3 satisfactoriamente");
                }
            } catch (Exception e2) {
                e2.printStackTrace();
            }
        }
    }