public void gerarEstados(string nomeTransicao, iAutomato automato)
{
int contEstadoInicial, contEstado;
contEstado = automato.tamanhoListaEstado();
contEstadoInicial = contEstado;
if (contEstadoInicial > 0)
{
contEstado++;
Estado s0 = new Estado("S" + contEstado); contEstado++;
Estado s1 = new Estado("S" + contEstado); contEstado++;
Estado s2 = new Estado("S" + contEstado); contEstado++;
Estado estado = new Estado("S" + contEstadoInicial);
Transicao transicao = new Transicao("");
transicao.setPai(automato.getEstado()[(contEstadoInicial - 1)]);
transicao.setProxEstado(estado);
automato.getEstado()[(contEstadoInicial - 1)].addTransicao(transicao);
Transicao t0 = new Transicao("");
t0.setPai(estado);
t0.setProxEstado(s0);
Transicao t1 = new Transicao("");
t1.setPai(estado);
t1.setProxEstado(s2);
estado.addTransicao(t0);
estado.addTransicao(t1);
Transicao t2 = new Transicao(nomeTransicao);
t2.setPai(s0);
t2.setProxEstado(s1);
s0.addTransicao(t2);
Transicao t3 = new Transicao("");
t3.setPai(s1);
t3.setProxEstado(s2);
Transicao t4 = new Transicao("");
t2.setPai(s1);
t2.setProxEstado(s0);
s1.addTransicao(t3);
s1.addTransicao(t4);
automato.addEstado(estado);
automato.addEstado(s0);
automato.addEstado(s1);
automato.addEstado(s2);
}
else
{
Estado s0 = new Estado("S" + contEstado); contEstado++;
Estado s1 = new Estado("S" + contEstado); contEstado++;
Estado s2 = new Estado("S" + contEstado); contEstado++;
Estado s3 = new Estado("S" + contEstado);
Transicao t0 = new Transicao(nomeTransicao);
t0.setPai(s0);
t0.setProxEstado(s1);
Transicao t1 = new Transicao("");
t1.setPai(s0);
t1.setProxEstado(s3);
s0.addTransicao(t0);
s0.addTransicao(t1);
Transicao t2 = new Transicao(nomeTransicao);
t2.setPai(s1);
t2.setProxEstado(s2);
s1.addTransicao(t2);
Transicao t3 = new Transicao("");
t3.setPai(s2);
t3.setProxEstado(s3);
Transicao t4 = new Transicao("");
t4.setPai(s2);
t4.setProxEstado(s1);
s2.addTransicao(t3);
s2.addTransicao(t4);
automato.addEstado(s0);
automato.addEstado(s1);
automato.addEstado(s2);
automato.addEstado(s3);
}
}