public void DfaIsCreatedWithNoError()
{
Dfa dfa = _automata.Construct().ConstructDfaUsingPowerSet();
Assert.IsNotNull(dfa);
string dotfile = dfa.WriteGraph();
Assert.AreEqual(_dfaDotFile, dotfile);
}