public void TestDefinitionNoInitial()
{
TuringMachine tm = new TuringMachine("");
Assert.IsFalse(tm.loadDefinition("testNoInitial.def"), "Test 5.1.6 failed, Initial character found.");
}
public void TestDefinitionNoBlank()
{
TuringMachine tm = new TuringMachine("");
Assert.IsFalse(tm.loadDefinition("testNoBlank.def"), "Test 5.1.7 failed, Blank character found.");
}
public void TestDefinitionNoTransition()
{
TuringMachine tm = new TuringMachine("");
Assert.IsFalse(tm.loadDefinition("testNoTransition.def"), "Test 5.1.5 failed, Transitions found.");
}
public void TestDefinitionNoTape()
{
TuringMachine tm = new TuringMachine("");
Assert.IsFalse(tm.loadDefinition("testNoTape.def"), "Tests 5.1.4 failed, Tape characters found");
}
public void TestDefinitionNoState()
{
TuringMachine tm = new TuringMachine("");
Assert.IsFalse(tm.loadDefinition("testNoState.def"), "Test 5.1.2 failed, States found.");
}
public void TestDefinitionValid()
{
TuringMachine tm = new TuringMachine("");
Assert.IsTrue(tm.loadDefinition("testValid.def"), "Test 5.1.1 failed, Valid defintion not loaded.");
}
public void TestDefinitionNoFinal()
{
TuringMachine tm = new TuringMachine("");
Assert.IsFalse(tm.loadDefinition("testNoFinal.def"), "Test 5.1.8 failed, Final states found.");
}