@Override
public String toString() {
StringBuilder out = new StringBuilder("M = (E,A,T,I,F)\n");
out.append("E = {");
for (Estado estado : estados) {
out.append(estado.getId()).append(", ");
}
out.delete(out.length() - 2, out.length());
out.append("}\n");
out.append(alfabeto.toString()).append("\n");
for (EntradaAFNDG ent : transicoes.keySet()) {
for (Estado estado : transicoes.get(ent).get()) {
out.append("T(")
.append(ent.toString())
.append(") -> ")
.append(estado.toString())
.append("\n");
}
}
out.append("\n");
out.append("I = ").append(estadoInicial.getId()).append("\n");
out.append("F = {");
for (EstadoFinal estAceita : estadosAceitacao) {
out.append(estAceita.getId()).append(", ");
}
out.delete(out.length() - 2, out.length());
out.append("}\n");
return out.toString();
}
public String toString() {
return estado.toString();
}