public void prTable(int num_estado, int num_simbolo) {
        this.cbxeorigen.setModel(new DefaultComboBoxModel());
        this.cbxedestino.setModel(new DefaultComboBoxModel());
        this.cbxsimbolo.setModel(new DefaultComboBoxModel());
        num_simbolo = num_simbolo + 2;
        Object[][] ob = new Object[num_estado][num_simbolo];
        s = new String[num_simbolo];
        boolean[] canEdit = new boolean[num_simbolo];
        Boolean t = true;
        int h = 1000;

        for (int i = 0; i < num_estado; i++) {
            h = 1000;
            for (int j = 0; j < num_simbolo; j++) {
                if (t) {
                    if (j == 0) {
                        canEdit[j] = false;
                        s[j] = "Estados\\Simbolo";
                    } else if (j < num_simbolo - 1) {
                        s[j] = "S" + (j - 1);
                        this.cbxsimbolo.addItem("S" + (j - 1));

                        canEdit[j] = true;
                    } else {
                        s[j] = "Otros";
                        canEdit[j] = true;
                    }
                }
                if (j == 0) {
                    ob[i][j] = "q" + i;
                    this.cbxeorigen.addItem("q" + i);
                    this.cbxedestino.addItem("q" + i);
                } else {
                    ob[i][j] = h;
                    h++;
                }

            }
            t = false;
        }
        this.table_trans.setModel(new javax.swing.table.DefaultTableModel(
                ob,
                s
        ) {
            public boolean isCellEditable(int rowIndex, int columnIndex) {
                return canEdit[columnIndex];
            }
        }
        );
        if (num_simbolo > 11) {
            this.table_trans.setAutoResizeMode(JTable.AUTO_RESIZE_OFF);
        }
        this.table_trans.getTableHeader().setReorderingAllowed(false);
        AutoCompletion.enable(cbxsimbolo);
        AutoCompletion.enable(cbxedestino);
        AutoCompletion.enable(cbxeorigen);

    }