public void createKleeneAFN(AFN AFN1, LinkedList <Estado> Estados)
{
Transicion TempTransicion;
EstadoInicial.setID(Estado.Contador++);
EstadoFinal.setID(Estado.Contador++);
//TRANSICION CON EPSILON DESDE ESTADO INICIAL HACIA ESTADO FINAL
TempTransicion = new Transicion();
TempTransicion.setIDTerminal(-1);
TempTransicion.setDestino(EstadoFinal);
EstadoInicial.addTransicion(TempTransicion);
//TRANSICION CON EPSILON DESDE ESTADO INICIAL HACIA ESTADO INICIAL DE AFN1
TempTransicion = new Transicion();
TempTransicion.setIDTerminal(-1);
TempTransicion.setDestino(AFN1.getEstadoInicial());
EstadoInicial.addTransicion(TempTransicion);
//TRANSICION CON EPSILON DESDE ESTADO FINAL DE AFN1 HACIA ESTADO INICIAL DE AFN1
TempTransicion = new Transicion();
TempTransicion.setIDTerminal(-1);
TempTransicion.setDestino(AFN1.getEstadoInicial());
AFN1.getEstadoFinal().addTransicion(TempTransicion);
//TRANSICION CON EPSILON DESDE ESTADO FINAL DE AFN1 HACIA ESTADO FINAL
TempTransicion = new Transicion();
TempTransicion.setIDTerminal(-1);
TempTransicion.setDestino(EstadoFinal);
AFN1.getEstadoFinal().addTransicion(TempTransicion);
//SE AGREGAN ESTADOS NUEVOS
Estados.AddLast(EstadoInicial);
Estados.AddLast(EstadoFinal);
}
public void createBasicAFN(int arg1, LinkedList <Estado> Estados)
{
Transicion TempTransicion = new Transicion();
EstadoInicial.setID(Estado.Contador++);
EstadoFinal.setID(Estado.Contador++);
TempTransicion.setIDTerminal(arg1);
TempTransicion.setDestino(EstadoFinal);
EstadoInicial.addTransicion(TempTransicion);
Estados.AddLast(EstadoInicial);
Estados.AddLast(EstadoFinal);
}