private void btnMinimaliseer_Click(object sender, DevExpress.XtraBars.ItemClickEventArgs e)
{
if (InputBox.Text == "")
{
return;
}
if (_outputNDFA == null)
{
Expressie expressie = new Expressie(InputBox.Text);
_outputNDFA = expressie.ToNDFA();
}
OutputBox.Text = _outputNDFA.ToDFA().Minimalize().ToString();
}
private void ConvertButton_Click(object sender, EventArgs e)
{
statements.Clear();
if (InputBox.Text == "")
{
return;
}
if (vanExpressie.Checked)
{
try
{
Expressie expressie = new Expressie(InputBox.Text);
_outputNDFA = expressie.ToNDFA();
if (ToDFA.Checked)
{
OutputBox.Text = _outputNDFA.ToDFA().ToString();
}
if (ToNDFA.Checked)
{
OutputBox.Text = _outputNDFA.ToString();
}
if (ToReguliereGrammatica.Checked)
{
OutputBox.Text = _outputNDFA.ToReguliereGrammatica().ToString();
}
foreach (var t in _outputNDFA.eindToestanden)
{
//output += "node [shape = doublecircle]; " + t + " ;\n";
}
foreach (var t in _outputNDFA.toestanden)
{
EdgeStatement statement = EdgeStatement.For(t.vorigeToestand, t.volgendeToestand.Item1).Set("label", t.volgendeToestand.Item2.ToString());
statements.Add(statement);
}
}
catch (Exception exception)
{
OutputBox.Text += "Het is niet gelukt\n" + exception.ToString();
}
}
else if (vanDFA.Checked)
{
NDFA <char> ndfa = new NDFA <char>();
for (int x = 0; x < InputBox.Lines.Count(); x++)
{
string temp = InputBox.Lines[x];
if (temp.StartsWith("begin"))
{
ndfa.startSymbolen.Add(temp.Last().ToString());
}
else if (temp.StartsWith("eind"))
{
ndfa.eindToestanden.Add(temp.Last().ToString());
}
else
{
ndfa.toestanden.Add(Toestand <char> .CreateToestand(temp));
}
foreach (var t in ndfa.toestanden)
{
ndfa.invoerSymbolen.Add(t.volgendeToestand.Item2);
}
}
if (ToDFA.Checked)
{
OutputBox.Text = ndfa.ToDFA().ToString();
}
if (ToNDFA.Checked)
{
OutputBox.Text = ndfa.ToString();
}
if (ToReguliereGrammatica.Checked)
{
OutputBox.Text = ndfa.ToReguliereGrammatica().ToString();
}
_outputNDFA = ndfa;
foreach (var t in ndfa.toestanden)
{
EdgeStatement statement = EdgeStatement.For(t.vorigeToestand, t.volgendeToestand.Item1).Set("label", t.volgendeToestand.Item2.ToString());
statements.Add(statement);
}
}
else if (vanGrammatica.Checked)
{
if (ToNDFA.Checked)
{
HashSet <ProductieRegel <char> > set = new HashSet <ProductieRegel <char> >();
for (int x = 0; x < InputBox.Lines.Count(); x++)
{
string[] temp = InputBox.Lines[x].Split('-');
string startSymbool = temp[0];
string line = temp[2].Substring(1);
string[] toestanden = line.Split('|');
foreach (string s in toestanden)
{
string[] camelcase = SplitCamelCase(s);
if (camelcase.Length > 1)
{
set.Add(new ProductieRegel <char>(startSymbool, Convert.ToChar(camelcase[0]), camelcase[1]));
}
else
{
set.Add(new ProductieRegel <char>(startSymbool, Convert.ToChar(camelcase[0]), ""));
}
}
}
Grammatica <char> gr = new Grammatica <char>(InputBox.Lines.First().Split('-')[0], set);
OutputBox.Text = gr.TransformToNDFA().ToString();
foreach (var t in gr.TransformToNDFA().toestanden)
{
EdgeStatement statement = EdgeStatement.For(t.vorigeToestand, t.volgendeToestand.Item1).Set("label", t.volgendeToestand.Item2.ToString());
statements.Add(statement);
}
}
}
}