static void Main()
{
Application.EnableVisualStyles();
Application.SetCompatibleTextRenderingDefault(false);
NFA NFA = new NFA();
NFA.StartPosition = FormStartPosition.CenterScreen;
Application.Run(NFA);
}
static void readFile(NFA nfa)
{
string fileName;
string line;
Console.WriteLine("Enter your NFA files full location");
fileName = Console.ReadLine();
fileName = "C:\\Users\\dbaue\\source\\repos\\NFAtoDFA\\NFAtoDFA\\NFA.txt";
StreamReader file = new StreamReader(@fileName);
nfa.numberOfStates = int.Parse(file.ReadLine());
string alphabet = file.ReadLine();
foreach (char ch in alphabet)
{
nfa.alphabet.Add(ch.ToString());
}
string finalStates = file.ReadLine();
List <string> finalStatesString = finalStates.Split().ToList();
for (int i = 0; i < finalStatesString.Count(); i++)
{
if (finalStatesString[i] != "")
{
nfa.finalStates.Add(int.Parse(finalStatesString[i]));
}
}
nfa.initialState = int.Parse(file.ReadLine());
for (int i = 0; i < nfa.numberOfStates; i++)
{
nfa.states.Add(new NFAState());
nfa.states[i].state = i;
}
while ((line = file.ReadLine()) != null && line != "")
{
List <string> lineString = line.Split().ToList();
NFATransition transition = new NFATransition();
int state = int.Parse(lineString[0]);
transition.transition = lineString[1];
transition.transitionState = int.Parse(lineString[2]);
for (int i = 0; i < nfa.states.Count(); i++)
{
if (nfa.states[i].state == state)
{
nfa.states[i].transitions.Add(transition);
}
}
}
}
static void Main(string[] args)
{
NFA nfa = new NFA();
readFile(nfa);
DFA dfa = new DFA();
constructDFA(nfa, dfa);
printDFA(dfa);
Console.ReadLine();
}
public DFA(NFA NFA)
{
InitializeComponent();
}
static void constructDFA(NFA nfa, DFA dfa)
{
dfa.initialState = nfa.initialState;
dfa.finalStates = nfa.finalStates;
dfa.alphabet = nfa.alphabet;
DFAState initalState = new DFAState();
DFATransition dfaTransition = new DFATransition();
initalState.states.Add(dfa.initialState);
for (int i = 0; i < dfa.alphabet.Count(); i++)
{
dfaTransition = new DFATransition();
dfaTransition.transition = dfa.alphabet[i];
initalState.transitions.Add(dfaTransition);
}
for (int i = 0; i < initalState.transitions.Count(); i++)
{
for (int j = 0; j < nfa.states.Count(); j++)
{
if (nfa.states[j].state == initalState.states[0])
{
for (int k = 0; k < nfa.states[j].transitions.Count(); k++)
{
if (nfa.states[j].transitions[k].transition == initalState.transitions[i].transition)
{
initalState.transitions[i].transitionStates.Add(nfa.states[j].transitions[k].transitionState);
}
}
}
}
}
dfa.states.Add(initalState);
//start of adding dfa states
bool createNewState = true;
while (createNewState == true)
{
createNewState = false;
DFAState newDFAState = new DFAState();
for (int i = 0; i < dfa.states.Count(); i++)
{
for (int j = 0; j < dfa.states[i].transitions.Count(); j++)
{
bool visited = false;
for (int k = 0; k < dfa.states.Count(); k++)
{
if (dfa.states[k].states.SequenceEqual(dfa.states[i].transitions[j].transitionStates))
{
visited = true;
continue;
}
}
if (visited == false)
{
createNewState = true;
newDFAState.states = dfa.states[i].transitions[j].transitionStates;
break;
}
visited = false;
}
if (createNewState == true)
{
break;
}
}
if (createNewState == false)
{
break;
}
DFATransition transition;
for (int i = 0; i < dfa.alphabet.Count(); i++)
{
transition = new DFATransition();
transition.transition = dfa.alphabet[i];
newDFAState.transitions.Add(transition);
}
for (int i = 0; i < newDFAState.transitions.Count(); i++)
{
for (int j = 0; j < nfa.states.Count(); j++)
{
foreach (var s in newDFAState.states)
{
if (nfa.states[j].state == s)
{
foreach (var possibleTransition in nfa.states[j].transitions)
{
if (possibleTransition.transition == newDFAState.transitions[i].transition)
{
newDFAState.transitions[i].transitionStates.Add(possibleTransition.transitionState);
}
}
}
}
}
}
dfa.states.Add(newDFAState);
}
}
