private void noLambdaProductionsButton_Click(object sender, EventArgs e)
{
Grammar g = GrammarAlgorithms.EliminateLambdaProductions(GrammarProvider.GetGrammar());
grammarInfoWebBrowser.DocumentText = g.GrammarInfoAsHTML();
if (grammarSaveFileDialog.ShowDialog() == DialogResult.OK)
{
g.SaveToJson(grammarSaveFileDialog.FileName);
}
}
private void saveButton_Click(object sender, EventArgs e)
{
g.SaveToJson(Properties.Resources.DefaultGrammarLocation);
}
