private void btnReg_Click(object sender, EventArgs e)
{
string text = tbReg.Text;
automaton = RegexReader.readRegex(text);
processAutomaton(automaton);
}
public void readRegex_passRegularExpression_returnParsedAutomaton(string input, string path)
{
//string input = ".(z, | (h, *(.(q, z))))";
string graphInput = "../../materials/regexpParsedInput" + (indexer) + ".txt";
string graphOutput = "../../materials/regexpParsedOutput" + (indexer++) + ".txt";
//Automaton expectedResult = Parser.parseFile(path);
Automaton testResult = RegexReader.readRegex(input);
GVgenerator.generateGraphVizInput(testResult, graphInput);
GVgenerator.generateGraph(graphInput, graphOutput);
//Assert.AreEqual(expectedResult, testResult);
}