public AutomataD createAutomata(string s)
{
InfixToPostfix ix = new InfixToPostfix(s);
ArbolSin ar = new ArbolSin(s);
Converter con = new Converter();
return(con.DirectAFD(ar));
}
public ArbolSin(string s)
{
InfixToPostfix ix = new InfixToPostfix(s);
Stack <Symbol> postfix = ix.getStackPost();
Stack <Nodo> sNodo = new Stack <Nodo>();
alfa = new List <string>();
Nodo temp;
int cont = 0;
foreach (Symbol sim in postfix)
{
if (sim.isOper())
{
switch (sim.getSym())
{
case "|":
sNodo.Push(new Nodo(sim.getSym(), sNodo.Pop(), sNodo.Pop()));
break;
case ".":
sNodo.Push(new Nodo(sim.getSym(), sNodo.Pop(), sNodo.Pop()));
break;
case "*":
sNodo.Push(new Nodo(sim.getSym(), sNodo.Pop()));
break;
/*case '+':
* temp = DeepCopy(sNodo.Peek());
* sNodo.Push(new Nodo("*", sNodo.Pop()));
* sNodo.Push(new Nodo(".", temp, sNodo.Pop()));
* break;*/
}
}
else
{
temp = new Nodo(sim.getSym());
temp.getFPos().Add(temp);
temp.getLPos().Add(temp);
if (sim.getSym() == "#")
{
this.fin = temp;
}
else
{
if (!alfa.Contains(sim.getSym()))
{
alfa.Add(sim.getSym());
}
}
cont++;
temp.setNum(cont.ToString());
sNodo.Push(temp);
break;
}
}
this.raiz = sNodo.Pop();
}