Minimização de automato

//Transicao.java public class Transicao { private Estado origem; private Estado destino; private String simbolo;

public Transicao(Estado origem, Estado destino, String simbolo) { this.origem = origem; this.destino = destino; this.simbolo = simbolo; }

public Estado getOrigem() { return origem; } public void setOrigem(Estado origem) { this.origem = origem; } public Estado getDestino() { return destino; } public void setDestino(Estado destino) { this.destino = destino; } public String getSimbolo() { return simbolo;

} public void setSimbolo(String simbolo) { this.simbolo = simbolo; }

}

//Par.java import java.util.ArrayList;

public class Par { private Estado a; private Estado b; private String flag; private ArrayList lista;

public Par(Estado a, Estado b, String flag) { super(); this.a = a; this.b = b; this.flag = flag; this.lista = new ArrayList(); }

public Estado getA() {

return a; } public void setA(Estado a) { this.a = a; } public Estado getB() { return b; } public void setB(Estado b) { this.b = b; } public String getFlag() { return flag; } public void setFlag(String flag) { this.flag = flag; }

public ArrayList getLista() { return lista; }

public void setLista(ArrayList lista) { this.lista = lista; }

}

//Menu.java import java.io.*; import java.util.ArrayList; import java.util.Iterator; import java.util.LinkedList; import java.util.Scanner; import java.util.regex.Matcher; import java.util.regex.Pattern; import javax.swing.JFrame; import javax.swing.JOptionPane; import java.awt.Color; import java.awt.Container; import java.awt.Dimension; import java.awt.FlowLayout; import java.awt.Font; import java.awt.Frame; import java.awt.event.ActionEvent; import java.awt.event.ActionListener; import java.util.Stack;

import javax.swing.*; import javax.swing.table.DefaultTableModel; /*CLASSE QUE MANIPULA INTERFACE GRAFICA DE OPCOES*/

public class Menu extends JFrame { static Automato automato; static boolean automatoCarregado; static