/// <summary>
/// Convertir l'automate Nfa courant vers un automate Dfa equivalant.
/// </summary>
/// <returns>Un automate de type Dfa</returns>
public override Dfa toDfa()
{
if (isConverted)
{
return Dfa_CV;
}
else
{
Dfa_CV = new Dfa();//le nouveau automate Dfa à construire
Dfa_CV.X = this.X;
ArrayList temp = new ArrayList();
temp.Add(this.S0);
StCorTab = new ArrayList();
StCorTab.Add(temp); //on rajoute l'état initial et l'insère dans StCorTab
Dfa_CV.S = 1;
if (this.F.Contains(this.S0)) //si l'état initial est egalement final on l'insère dans la liste des états finaux
Dfa_CV.F.Add(this.S0);
ArrayList instructions = new ArrayList();
//on parcours les élement de la table StCorTab (cette table est mis à jour à l'interieur)
for (int etat = 0; etat < Dfa_CV.S; etat++)
{
if (((ArrayList)StCorTab[etat]).Count == 1)
{
if (this.F.Contains(((ArrayList)StCorTab[etat])[0]))
Dfa_CV.F.Add(etat);
}
foreach (char car in X)
{ //pour chaque lettre de X
int c = toIndex(car);
temp = new ArrayList();
foreach (int Si in ((ArrayList)StCorTab[etat])) //puisque on a plusieurs etats de départ (dans les instruction)
if (Si < this.S)
if (I[Si, c].Count != 0)
temp = arrayListUnion(temp, I[Si, c]); //on fait l'union des ensembles d'arrivé de chaque etat de départ
if (temp.Count != 0)
{ //si l'ensemble d'arrivée n'est pas vide (l'instruction existe)
temp.Sort();
int index = contains(StCorTab, temp);
if (index == -1) //si cet ensemble d'etats n'est pas encore renommé(s'il n'existe pas dans StCorTab)
{
instructions.Add(new Instruction(etat, car, Dfa_CV.S)); //on recopie l'instrucion (avec les nouveau nom)
StCorTab.Add(temp); //on le renomme (on l'insère dans StCorTab
//on vérifie si cet état et final, si c'est le cas on l'insère dans la liste des états finaux
if (temp.Count == 1) //cas d'un état simple
{
if (this.F.Contains(temp))
Dfa_CV.F.Add(Dfa_CV.S);
}
else //cas d'un ensemble d'état
{
if (Intersect(temp, this.F))
Dfa_CV.F.Add(Dfa_CV.S);
}
Dfa_CV.S++; //on ajoute un état à S
}
else
instructions.Add(new Instruction(etat, car, index)); //si l'état est déjà renommé on recopie l'instrucion directement
}
}
}
Dfa_CV.InitI();
foreach (Instruction instruction in instructions)
Dfa_CV.AddInstruction(instruction);
Dfa_CV.F.Sort();
isConverted = true;
return Dfa_CV;
}
}
public override Dfa toReduced()
{
if (this.isReduced())
{
Dfa temp = new Dfa(this.X, this.S, this.S0, this.F, this.getInstructionTable());
return temp;
}
Dfa Reduit = new Dfa();
Reduit.X = this.X;
coAccessible.Sort();
if (coAccessible.Count != 0)
{
Reduit.S = coAccessible.Count;
Reduit.InitI();
Reduit.S0 = this.S0;
for (int i = 0; i < coAccessible.Count; i++)
{
Reduit.RdStateCorTab.Add(coAccessible[i]);
if (this.F.Contains(coAccessible[i]))
Reduit.F.Add(i);
}
for (int i = 0; i < Reduit.RdStateCorTab.Count; i++)
foreach (char car in X)
{ //on recopie les instruction consernant les etats de la table de correspondance
int c = toIndex(car);
int k = (int)Reduit.RdStateCorTab[i];
Reduit.I[i, c] = (Reduit.RdStateCorTab.Contains(this.I[k, c])) ? (int)Reduit.RdStateCorTab.IndexOf(this.I[k, c]) : -1;
}
}
return Reduit;
}