public void DfaIsCreatedWithNoError()
        {
            Dfa dfa = _automata.Construct().ConstructDfaUsingPowerSet();

            Assert.IsNotNull(dfa);
            string dotfile = dfa.WriteGraph();

            Assert.AreEqual(_dfaDotFile, dotfile);
        }