public void automataSimple(string transicion)
{
Edo origen = new Edo();
Edo destino = new Edo();
origen.tipo = "Comienzo";
destino.tipo = "Aceptacion";
LEstados.Add(origen);
LEstados.Add(destino);
Transicion nueva = new Transicion();
nueva.origen = origen;
nueva.destino = destino;
nueva.etiqueta = transicion;
LTransiciones.Add(nueva);
}
public AFN(AFN izquierda, AFN derecha, string accion)
{
LEstados = new List <Edo>();
LTransiciones = new List <Transicion>();
if (accion == "*")
{
Edo inicio = new Edo();
Edo aceptacion = new Edo();
inicio.tipo = "Comienzo";
aceptacion.tipo = "Aceptacion";
foreach (Edo e in izquierda.LEstados)
{
if (e.tipo == "Comienzo")
{
inicio = e;
}
else if (e.tipo == "Aceptacion")
{
aceptacion = e;
}
}
Transicion paTraz = new Transicion();
paTraz.origen = aceptacion;
paTraz.destino = inicio;
this.LTransiciones.Add(paTraz);
inicio = new Edo();
aceptacion = new Edo();
inicio.tipo = "Comienzo";
aceptacion.tipo = "Aceptacion";
Transicion epcilon = new Transicion();
epcilon.origen = inicio;
epcilon.destino = aceptacion;
this.LTransiciones.Add(epcilon);
foreach (Edo e in izquierda.LEstados)
{
if (e.tipo == "Comienzo")
{
Transicion nuevaPrincipio = new Transicion();
nuevaPrincipio.origen = inicio;
nuevaPrincipio.destino = e;
e.tipo = "Inicio";
this.LTransiciones.Add(nuevaPrincipio);
}
else if (e.tipo == "Aceptacion")
{
Transicion nuevaFinal = new Transicion();
nuevaFinal.destino = aceptacion;
nuevaFinal.origen = e;
e.tipo = "Inicio";
this.LTransiciones.Add(nuevaFinal);
}
}
this.LEstados.Add(inicio);
this.LEstados.Add(aceptacion);
this.LTransiciones.AddRange(izquierda.LTransiciones);
this.LEstados.AddRange(izquierda.LEstados);
}
if (accion == "+")
{
Edo inicio = new Edo();
Edo aceptacion = new Edo();
inicio.tipo = "Comienzo";
aceptacion.tipo = "Aceptacion";
foreach (Edo e in izquierda.LEstados)
{
if (e.tipo == "Comienzo")
{
inicio = e;
}
else if (e.tipo == "Aceptacion")
{
aceptacion = e;
}
}
Transicion paTraz = new Transicion();
paTraz.origen = aceptacion;
paTraz.destino = inicio;
this.LTransiciones.Add(paTraz);
inicio = new Edo();
aceptacion = new Edo();
inicio.tipo = "Comienzo";
aceptacion.tipo = "Aceptacion";
foreach (Edo e in izquierda.LEstados)
{
if (e.tipo == "Comienzo")
{
Transicion nuevaPrincipio = new Transicion();
nuevaPrincipio.origen = inicio;
nuevaPrincipio.destino = e;
e.tipo = "Inicio";
this.LTransiciones.Add(nuevaPrincipio);
}
else if (e.tipo == "Aceptacion")
{
Transicion nuevaFinal = new Transicion();
nuevaFinal.destino = aceptacion;
nuevaFinal.origen = e;
e.tipo = "Inicio";
this.LTransiciones.Add(nuevaFinal);
}
}
this.LEstados.Add(inicio);
this.LEstados.Add(aceptacion);
this.LTransiciones.AddRange(izquierda.LTransiciones);
this.LEstados.AddRange(izquierda.LEstados);
}
if (accion == "?")
{
Edo inicio = new Edo();
Edo aceptacion = new Edo();
inicio.tipo = "Comienzo";
aceptacion.tipo = "Aceptacion";
Transicion epcilon = new Transicion();
epcilon.origen = inicio;
epcilon.destino = aceptacion;
this.LTransiciones.Add(epcilon);
foreach (Edo e in izquierda.LEstados)
{
if (e.tipo == "Comienzo")
{
Transicion nuevaPrincipio = new Transicion();
nuevaPrincipio.origen = inicio;
nuevaPrincipio.destino = e;
e.tipo = "Inicio";
this.LTransiciones.Add(nuevaPrincipio);
}
else if (e.tipo == "Aceptacion")
{
Transicion nuevaFinal = new Transicion();
nuevaFinal.destino = aceptacion;
nuevaFinal.origen = e;
e.tipo = "Inicio";
this.LTransiciones.Add(nuevaFinal);
}
}
this.LEstados.Add(inicio);
this.LEstados.Add(aceptacion);
this.LTransiciones.AddRange(izquierda.LTransiciones);
this.LEstados.AddRange(izquierda.LEstados);
}
if (accion == "union")
{
Edo inicio = new Edo();
Edo aceptacion = new Edo();
inicio.tipo = "Comienzo";
aceptacion.tipo = "Aceptacion";
foreach (Transicion t in derecha.LTransiciones)
{
this.LTransiciones.Add(t);
}
foreach (Edo e in derecha.LEstados)
{
this.LEstados.Add(e);
}
foreach (Transicion t in izquierda.LTransiciones)
{
this.LTransiciones.Add(t);
}
foreach (Edo e in izquierda.LEstados)
{
this.LEstados.Add(e);
}
foreach (Edo e in this.LEstados)
{
if (e.tipo == "Comienzo")
{
Transicion nuevaPrincipio = new Transicion();
nuevaPrincipio.origen = inicio;
nuevaPrincipio.destino = e;
e.tipo = "Inicio";
this.LTransiciones.Add(nuevaPrincipio);
}
else if (e.tipo == "Aceptacion")
{
Transicion nuevaFinal = new Transicion();
nuevaFinal.destino = aceptacion;
nuevaFinal.origen = e;
e.tipo = "Inicio";
this.LTransiciones.Add(nuevaFinal);
}
}
this.LEstados.Add(inicio);
this.LEstados.Add(aceptacion);
}
if (accion == "concatenacion")
{
LEstados = new List <Edo>();
LTransiciones = new List <Transicion>();
int comienzo;
//busca el estado donde comiensa el automata de la derecha
for (comienzo = 0; comienzo < derecha.LEstados.Count; comienzo++)
{
if (derecha.LEstados[comienzo].tipo == "Comienzo")
{
//busca las tranciciones del automata izquierdo que tengan como destino un estado de aceptacion
//posteriormente si se encuentra pasan a tener un nuevo estado destino, que es el estado donde comienza el automata derecho
for (int i = izquierda.LTransiciones.Count - 1; i >= 0; i--)
{
if (izquierda.LTransiciones[i].destino.tipo == "Aceptacion")
{
izquierda.LTransiciones[i].destino = derecha.LEstados[comienzo];
}
}
break;
}
}
//el donde antes comenzaba el automata de la derecha ahora se convierte
//en un estado de inicio mas del automata de la iquierda
derecha.LEstados[comienzo].tipo = "Inicio";
//busca el estado de aceptacion del automata de la izquierda lo elimina
for (int i = 0; i < izquierda.LEstados.Count; i++)
{
if (izquierda.LEstados[i].tipo == "Aceptacion")
{
izquierda.LEstados.RemoveAt(i);
break;
}
}
//agrega todos los estados de la automata de la derecha
foreach (Edo e in derecha.LEstados)
{
this.LEstados.Add(e);
}
//agrega todas las transiciones del automata de la derecha
foreach (Transicion t in derecha.LTransiciones)
{
this.LTransiciones.Add(t);
}
//agrega todos los estados de la automata de la izq
foreach (Edo e in izquierda.LEstados)
{
this.LEstados.Add(e);
}
//agrega todas las transiciones del automata de la izquierda
foreach (Transicion t in izquierda.LTransiciones)
{
this.LTransiciones.Add(t);
}
}
}