private NondeterministicFiniteAutomaton Concat(NondeterministicFiniteAutomaton first,
NondeterministicFiniteAutomaton second)
{
List <State> states = new List <State>(first.GetStates());
List <DeltaFunctionTriplet> triplets = new List <DeltaFunctionTriplet>(first.GetTriplets());
SortedList <int, List <int> > Epsilons = new SortedList <int, List <int> >(first.GetEpsilonTransitions());
int lastStateOfFirst = states[states.Count - 1].Id;
states.Find(x => x.Id == lastStateOfFirst).IsAccept = false;
int firstStateOfSecond = lastStateOfFirst + 1;
List <State> statesSecond = second.GetStates();
int numberShift = states.Count;
foreach (State s in statesSecond)
{
if (s.IsAccept == true)
{
states.Add(new State(s.Id + numberShift, "q" + (s.Id + numberShift), false, true));
}
else
{
states.Add(new State(s.Id + numberShift, "q" + (s.Id + numberShift), false, false));
}
}
List <DeltaFunctionTriplet> tripletsSecond = second.GetTriplets();
foreach (DeltaFunctionTriplet triplet in tripletsSecond)
{
triplets.Add(new DeltaFunctionTriplet(triplet.From + numberShift, triplet.By, triplet.To + numberShift));
}
SortedList <int, List <int> > epsilonsSecond = second.GetEpsilonTransitions();
foreach (KeyValuePair <int, List <int> > pair1 in epsilonsSecond)
{
List <int> endStates = new List <int>();
foreach (int id in pair1.Value)
{
endStates.Add(id + numberShift);
}
Epsilons.Add(pair1.Key + numberShift, endStates);
}
if (Epsilons.TryGetValue(lastStateOfFirst, out List <int> value))
{
if (!value.Contains(firstStateOfSecond))
{
value.Add(firstStateOfSecond);
}
}
else
{
value = new List <int>();
value.Add(firstStateOfSecond);
Epsilons.Add(lastStateOfFirst, value);
}
return(new NondeterministicFiniteAutomaton(states, Alphabet, triplets, Epsilons));
}
private NondeterministicFiniteAutomaton Union(NondeterministicFiniteAutomaton first,
NondeterministicFiniteAutomaton second)
{
List <State> states = new List <State>();
List <DeltaFunctionTriplet> triplets = new List <DeltaFunctionTriplet>();
SortedList <int, List <int> > Epsilons = new SortedList <int, List <int> >();
State start = new State(1, "q1", true, false);
states.Add(start);
List <State> statesFirst = first.GetStates();
int numberShift = states.Count;
foreach (State s in statesFirst)
{
states.Add(new State(s.Id + numberShift, "q" + (s.Id + numberShift), false, false));
}
int firstStateOfFirst = states[1].Id;
List <DeltaFunctionTriplet> tripletsFirst = first.GetTriplets();
foreach (DeltaFunctionTriplet triplet in tripletsFirst)
{
triplets.Add(new DeltaFunctionTriplet(triplet.From + numberShift, triplet.By, triplet.To + numberShift));
}
SortedList <int, List <int> > epsilonsFirst = first.GetEpsilonTransitions();
foreach (KeyValuePair <int, List <int> > pair1 in epsilonsFirst)
{
List <int> endStates = new List <int>();
foreach (int id in pair1.Value)
{
endStates.Add(id + numberShift);
}
Epsilons.Add(pair1.Key + numberShift, endStates);
}
int lastStateOfFirst = states[states.Count - 1].Id;
int firstStateOfSecond = lastStateOfFirst + 1;
List <State> statesSecond = second.GetStates();
numberShift = states.Count;
foreach (State s in statesSecond)
{
states.Add(new State(s.Id + numberShift, "q" + (s.Id + numberShift), false, false));
}
List <DeltaFunctionTriplet> tripletsSecond = second.GetTriplets();
foreach (DeltaFunctionTriplet triplet in tripletsSecond)
{
triplets.Add(new DeltaFunctionTriplet(triplet.From + numberShift, triplet.By, triplet.To + numberShift));
}
SortedList <int, List <int> > epsilonsSecond = second.GetEpsilonTransitions();
foreach (KeyValuePair <int, List <int> > pair1 in epsilonsSecond)
{
List <int> endStates = new List <int>();
foreach (int id in pair1.Value)
{
endStates.Add(id + numberShift);
}
Epsilons.Add(pair1.Key + numberShift, endStates);
}
int lastStateOfSecond = states[states.Count - 1].Id;
State end = new State(lastStateOfSecond + 1, "q" + (lastStateOfSecond + 1), false, true);
states.Add(end);
Epsilons.Add(1, new List <int> {
firstStateOfFirst, firstStateOfSecond
});
if (Epsilons.TryGetValue(lastStateOfFirst, out List <int> value))
{
if (!value.Contains(end.Id))
{
value.Add(end.Id);
}
}
else
{
value = new List <int>();
value.Add(end.Id);
Epsilons.Add(lastStateOfFirst, value);
}
if (Epsilons.TryGetValue(lastStateOfSecond, out List <int> value1))
{
if (!value1.Contains(end.Id))
{
value1.Add(end.Id);
}
}
else
{
value1 = new List <int>();
value1.Add(end.Id);
Epsilons.Add(lastStateOfSecond, value1);
}
return(new NondeterministicFiniteAutomaton(states, Alphabet, triplets, Epsilons));
}
private NondeterministicFiniteAutomaton Closure(NondeterministicFiniteAutomaton NFA)
{
List <State> states = new List <State>();
List <DeltaFunctionTriplet> triplets = new List <DeltaFunctionTriplet>();
SortedList <int, List <int> > Epsilons = new SortedList <int, List <int> >();
State start = new State(1, "q1", true, false);
states.Add(start);
List <State> statesNFA = NFA.GetStates();
foreach (State s in statesNFA)
{
states.Add(new State(s.Id + 1, "q" + (s.Id + 1), false, false));
}
List <DeltaFunctionTriplet> tripletsNFA = NFA.GetTriplets();
foreach (DeltaFunctionTriplet triplet in tripletsNFA)
{
triplets.Add(new DeltaFunctionTriplet(triplet.From + 1, triplet.By, triplet.To + 1));
}
SortedList <int, List <int> > epsilonsNFA = NFA.GetEpsilonTransitions();
foreach (KeyValuePair <int, List <int> > pair1 in epsilonsNFA)
{
List <int> endStates = new List <int>();
foreach (int id in pair1.Value)
{
endStates.Add(id + 1);
}
Epsilons.Add(pair1.Key + 1, endStates);
}
int firstStateOfNFA = states[1].Id;
int lastStateOfNFA = states[states.Count - 1].Id;
State end = new State(lastStateOfNFA + 1, "q" + (lastStateOfNFA + 1), false, true);
states.Add(end);
Epsilons.Add(1, new List <int> {
firstStateOfNFA, end.Id
});
if (Epsilons.TryGetValue(lastStateOfNFA, out List <int> value))
{
if (!value.Contains(firstStateOfNFA))
{
value.Add(firstStateOfNFA);
}
value.Add(end.Id);
}
else
{
value = new List <int>();
value.Add(firstStateOfNFA);
value.Add(end.Id);
Epsilons.Add(lastStateOfNFA, value);
}
return(new NondeterministicFiniteAutomaton(states, Alphabet, triplets, Epsilons));
}