public string GenerarGraphvizAFD()
{
string text = "A -> 0;";
List <Mueve> listaMueves = new List <Mueve>();
for (int i = 0; i < mueves.Count; i++)
{
Mueve mueve = mueves.ElementAt(i);
if (!mueve.GetLlegadaString().Equals("-1") && !text.Contains(mueve.GetInicialString() + " -> " + mueve.GetLlegadaString() + "[label=\"" + mueve.GetSimbolo() + "\"]"))
{
text += mueve.GetInicialString() + " -> " + mueve.GetLlegadaString() + "[label=\"" + mueve.GetSimbolo() + "\"]";
listaMueves.Add(mueve);
}
}
mueveSinVacio = listaMueves;
string formas = "A[shape = point]";
foreach (var item in mueves)
{
if (item.GetEstadoInicial().GetNombreEstadoAFD() != -1)
{
if (!formas.Contains(item.GetInicialString() + "[shape = doublecircle];"))
{
if (item.GetEstadoInicial().GetTipo() == EstadoAFD.Tipo.FINAL)
{
formas += item.GetInicialString() + "[shape = doublecircle];";
}
}
}
}
text += formas;
Graficador graficador = new Graficador();
return(graficador.GraphvizAFD(text));
}
public void CrearAFD()
{
estVacio.SetNombreEstadoAFD(-1);
nombreEstadoAFD = 0;
Queue <EstadoAFD> colaEstadosAFD = new Queue <EstadoAFD>();
List <Estado> estados1 = new List <Estado>();
estados1.Add(automataND.GetEstadoInicial());
EstadoAFD cerradura = Cerradura(estados1);
listaGeneralEstados.Add(cerradura);
// List<Estado> listaCerradura = cerradura.GetEstadosAlcanzados();
List <EstadoAFD> listaEstadosAFD = new List <EstadoAFD>();
listaEstadosAFD.Add(cerradura);
colaEstadosAFD.Enqueue(cerradura);
Mueve mueve;
while (colaEstadosAFD.Count > 0)
{
EstadoAFD temp = colaEstadosAFD.Dequeue();
foreach (var terminal in listaTerminales)
{
List <Estado> estados = Mueve(temp.GetEstadosAlcanzados(), terminal);
//ida y simbolo
mueve = new Mueve(temp, terminal);
bool entrar = true;
EstadoAFD estadoAFD_nuevo = Cerradura(estados);
Console.WriteLine("estados mueves");
Console.WriteLine("ESTADO " + estadoAFD_nuevo.GetNombreEstadoAFD());
string hola = "";
foreach (var item in estadoAFD_nuevo.GetEstadosAlcanzados())
{
hola += item.GetNoEstado().ToString() + ", ";
}
Console.WriteLine(hola);
foreach (var estado in estados)
{
entrar = true;
Console.WriteLine("estado act: " + temp.GetNombreEstadoAFD() + " estAFD: " + estadoAFD_nuevo.GetNombreEstadoAFD() + " simbolo: " + terminal);
for (int i = 0; i < listaEstadosAFD.Count; i++)
{
if (CompararEstadosAFD(listaEstadosAFD.ElementAt(i).GetEstadosAlcanzados(), estadoAFD_nuevo.GetEstadosAlcanzados()) == false)
{
entrar = false;
mueve.SetLlegada(listaEstadosAFD.ElementAt(i));
mueves.Add(mueve);
nombreEstadoAFD = listaGeneralEstados.Last().GetNombreEstadoAFD() + 1;
break;
}
}
if (entrar)
{
//llegada
mueve.SetLlegada(estadoAFD_nuevo);
mueves.Add(mueve);
listaGeneralEstados.Add(estadoAFD_nuevo);
colaEstadosAFD.Enqueue(estadoAFD_nuevo);
listaEstadosAFD.Add(estadoAFD_nuevo);
}
}
//if (agregar)
//{
// char a = estadoSal;
// mueve.SetLlegada(a.ToString());
// mueves.Add(mueve);
// agregar = false;
//}
if (estados.Count == 0)
{
mueve.SetLlegada(estVacio);
mueves.Add(mueve);
nombreEstadoAFD = listaGeneralEstados.Last().GetNombreEstadoAFD() + 1;
}
//else if (entrar == false)
//{
// nombreEstadoAFD--;
//}
//llegada vacia
}
}
string estadosS;
foreach (var item in listaGeneralEstados)
{
estadosS = "";
Console.WriteLine("ESTADO " + item.GetNombreEstadoAFD());
foreach (var item2 in item.GetEstadosAlcanzados())
{
estadosS += item2.GetNoEstado().ToString() + ", ";
}
Console.WriteLine(estadosS);
}
foreach (var item in mueves)
{
Console.WriteLine("inicio: " + item.GetInicialString() + " llegada: " + item.GetLlegadaString() + " simbolo: " + item.GetSimbolo());
}
//GenerarGraphivizAFDTabla();
//GenerarGraphvizAFD();
}
public string validarCadena(Expresiones_Regulares expresionEv)
{
int estadoActual = 0;
bool valido = false;
List <int> estadosFinales = new List <int>();
foreach (var item in mueves)
{
EstadoAFD estado = item.GetEstadoInicial();
if (!estadosFinales.Contains(estado.GetNombreEstadoAFD()))
{
if (estado.GetTipo() == EstadoAFD.Tipo.FINAL)
{
estadosFinales.Add(estado.GetNombreEstadoAFD());
}
}
estado = item.GetEstadoLlegada();
if (!estadosFinales.Contains(estado.GetNombreEstadoAFD()))
{
if (estado.GetTipo() == EstadoAFD.Tipo.FINAL)
{
estadosFinales.Add(estado.GetNombreEstadoAFD());
}
}
}
string impresion = "";
// Mueve mueveActual = mueveSinVacio.First();
string evaluar = expresionEv.GetTokens().Last().GetValorToken();//como es una cadena solo tiene uno
List <Mueve> listaTemp = new List <Mueve>();
if (evaluar.Length == 0 && estadosFinales.Contains(0))
{
valido = true;
}
for (int i = 0; i < evaluar.Length; i++)//evaluando letra por letra
{
listaTemp.Clear();
char letra = evaluar[i];
valido = false; //reiniciando variable
foreach (var mov in mueveSinVacio)
{
if (mov.GetEstadoInicial().GetNombreEstadoAFD() == estadoActual)
{
listaTemp.Add(mov);
}
}
//obtenemos solo los mueves que tienen de estado inicial al estado actual
List <Mueve> listOrdernada = listaTemp.OrderByDescending(o => o.GetSimbolo().Length).ToList();
Console.WriteLine("LISTA ORDENADA");
foreach (var item in listOrdernada)
{
Console.WriteLine("estadoInicial " + item.GetInicialString() + "simbolo: " + item.GetSimbolo() + " final: " + item.GetLlegadaString());
}
//los mueves se orden de mayor a menor, segun la longitud de su transicion
for (int j = 0; j < listOrdernada.Count; j++)
{
Mueve mueve = listOrdernada.ElementAt(j);
string simboloTransicion = mueve.GetSimbolo();
//bool esConjunto = true;
if (simboloTransicion.Length > 1) //cadenas mayores a uno
{
int longitud = simboloTransicion.Length + i;
if (longitud <= evaluar.Length)
{
longitud -= i;
string subCadena = evaluar.Substring(i, longitud);
Console.WriteLine("subcadena " + subCadena + " simbolo " + simboloTransicion);
if (subCadena.Equals(mueve.GetSimbolo()))
{
estadoActual = mueve.GetEstadoLlegada().GetNombreEstadoAFD();
i += subCadena.Length - 1;
valido = true;
break;
}
if (simboloTransicion.Equals("[:todo:]") && !subCadena.Equals("\\n"))
{
estadoActual = mueve.GetEstadoLlegada().GetNombreEstadoAFD();
i += subCadena.Length - 1;
valido = true;
break;
}
}
}
if (listaConjuntos.ContainsKey(simboloTransicion)) //comparando si es un conjunto
{
Conjunto conjunto = listaConjuntos[simboloTransicion];
if (conjunto.GetElementos().Contains(letra.ToString()))//iguala con algun elemento de un conjunto
{
estadoActual = mueve.GetEstadoLlegada().GetNombreEstadoAFD();
valido = true;
break;
}
}
else if (simboloTransicion == letra.ToString())
{
estadoActual = mueve.GetEstadoLlegada().GetNombreEstadoAFD();
valido = true;
break;
}
else if (simboloTransicion.Equals("[:todo:]"))
{
estadoActual = mueve.GetEstadoLlegada().GetNombreEstadoAFD();
valido = true;
break;
}
// Console.WriteLine("valida: " + valido);
}
Console.WriteLine("valida: " + valido);
//si sale del segundo for sin encontrar una coincidencia es que no se puede, y la cadena no es valida
if (valido == false)
{
break; //No vale la pena seguir evaluando la expresion entonces para
}
}
//Al salir la variable estadoActual debe ser un estado final para que la expresion sea valida
if (valido == false)
{
impresion += expresionEv.GetNombre() + ": \"" + evaluar + "\" NO ES VALIDA, para la expresion regular evaluada\n";
}
else
{
if (estadosFinales.Contains(estadoActual))
{
impresion += expresionEv.GetNombre() + ": \"" + evaluar + "\" ES VALIDA, para la expresion regular evaluada\n";
}
else
{
impresion += expresionEv.GetNombre() + ": \"" + evaluar + "\" NO ES VALIDA, para la expresion regular evaluada\n";
}
}
return(impresion);
}