@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();
  }
コード例 #2
0
ファイル: Nodo.java プロジェクト: fbarth/iaSenac
 public String toString() {
   return estado.toString();
 }