public void TestRealDPDAToNormalForm()
{
var dpda = new PDA <char, char>(new AcceptanceCondition.EmptyStack(), true, 'Z', false, "ZYX", 'A');
dpda.AddState(1, false);
dpda.AddTransition().From(0).To(0).Read('a').Pop('Z').Push("XZ");
dpda.AddTransition().From(0).To(0).Read('a').Pop('X').Push("XX");
dpda.AddTransition().From(0).To(0).Read('a').Pop('Y').Push("XY");
dpda.AddTransition().From(0).To(0).Read('b').Pop('Z').Push("YZ");
dpda.AddTransition().From(0).To(0).Read('b').Pop('X').Push("YX");
dpda.AddTransition().From(0).To(0).Read('b').Pop('Y').Push("YY");
dpda.AddTransition().From(0).To(1).Read('x').Pop('Z').Push("Z");
dpda.AddTransition().From(0).To(1).Read('x').Pop('X').Push("X");
dpda.AddTransition().From(0).To(1).Read('x').Pop('Y').Push("Y");
dpda.AddTransition().From(1).To(1).Read('a').Pop('X').Push();
dpda.AddTransition().From(1).To(1).Read('b').Pop('Y').Push();
dpda.AddTransition().From(1).To(1).Read().Pop('Z').Push();
var dpdaInNormalForm = DPDAToNormalFormConverter <char, char> .ToNormalForm(dpda);
dpda.CreateRunner();
dpdaInNormalForm.CreateRunner();
var equalityResult = new PDAEqualityResult <char, StackSymbolSequence <char> >(dpda, dpdaInNormalForm, "abx", 10, 600000, 3000);
Assert.IsTrue(equalityResult.AreEqual);
}
public void TestDPDAToNormalForm()
{
var dpda = new PDA <char, char>(new AcceptanceCondition.EmptyStack(), true, 'A', false, "ABC", 'Z');
dpda.AddState(1, false);
dpda.AddState(2, false);
dpda.AddState(3, false);
dpda.AddState(4, false);
dpda.AddState(5, false);
dpda.AddState(6, false);
dpda.AddState(7, false);
dpda.AddTransition().From(0).To(1).Read().Pop('A').Push("AAA");
dpda.AddTransition().From(1).To(2).Read('a').Pop('A').Push();
dpda.AddTransition().From(2).To(3).Read('a').Pop('A').Push();
dpda.AddTransition().From(3).To(4).Read().Pop('A').Push("BBCC");
dpda.AddTransition().From(4).To(4).Read('b').Pop('B').Push();
dpda.AddTransition().From(4).To(4).Read('c').Pop('C').Push();
dpda.AddTransition().From(1).To(5).Read().Pop('B').Push();
dpda.AddTransition().From(2).To(6).Read().Pop('B').Push("B");
dpda.AddTransition().From(6).To(7).Read().Pop('B').Push("B");
dpda.AddTransition().From(7).To(6).Read().Pop('B').Push("B");
var allStackSymbols = new List <StackSymbolSequence <char> >()
{
new StackSymbolSequence <char>("A"),
new StackSymbolSequence <char>("B"),
new StackSymbolSequence <char>("C"),
new StackSymbolSequence <char>("AA"),
new StackSymbolSequence <char>("AAA"),
new StackSymbolSequence <char>("BBCC"),
new StackSymbolSequence <char>("BCC"),
new StackSymbolSequence <char>("CC"),
};
var exp = new PDA <char, StackSymbolSequence <char> >(new AcceptanceCondition.EmptyStack(), true, new StackSymbolSequence <char>('A'), false, allStackSymbols);
exp.AddState(1, false);
exp.AddState(2, false);
exp.AddState(3, false);
exp.AddState(4, false);
exp.AddState(5, false);
exp.AddState(6, false);
exp.AddState(7, false);
exp.AddTransition().From(0).To(2).Read('a').Pop(new StackSymbolSequence <char>("A")).Push(new StackSymbolSequence <char>[] { new StackSymbolSequence <char>("AA") });
exp.AddTransition().From(0).To(2).Read('a').Pop(new StackSymbolSequence <char>("AA")).Push(new StackSymbolSequence <char>[] { new StackSymbolSequence <char>("AA"), new StackSymbolSequence <char>("A") });
exp.AddTransition().From(0).To(2).Read('a').Pop(new StackSymbolSequence <char>("AAA")).Push(new StackSymbolSequence <char>[] { new StackSymbolSequence <char>("AA"), new StackSymbolSequence <char>("AA") });
exp.AddTransition().From(1).To(5).Read().Pop(new StackSymbolSequence <char>("B")).Push();
exp.AddTransition().From(1).To(2).Read('a').Pop(new StackSymbolSequence <char>("A")).Push();
exp.AddTransition().From(1).To(2).Read('a').Pop(new StackSymbolSequence <char>("AA")).Push(new StackSymbolSequence <char>[] { new StackSymbolSequence <char>("A") });
exp.AddTransition().From(1).To(2).Read('a').Pop(new StackSymbolSequence <char>("AAA")).Push(new StackSymbolSequence <char>[] { new StackSymbolSequence <char>("AA") });
exp.AddTransition().From(2).To(3).Read('a').Pop(new StackSymbolSequence <char>("A")).Push();
exp.AddTransition().From(2).To(3).Read('a').Pop(new StackSymbolSequence <char>("AA")).Push(new StackSymbolSequence <char>[] { new StackSymbolSequence <char>("A") });
exp.AddTransition().From(2).To(3).Read('a').Pop(new StackSymbolSequence <char>("AAA")).Push(new StackSymbolSequence <char>[] { new StackSymbolSequence <char>("AA") });
exp.AddTransition().From(3).To(4).Read('b').Pop(new StackSymbolSequence <char>("A")).Push(new StackSymbolSequence <char>[] { new StackSymbolSequence <char>("BCC") });
exp.AddTransition().From(3).To(4).Read('b').Pop(new StackSymbolSequence <char>("AA")).Push(new StackSymbolSequence <char>[] { new StackSymbolSequence <char>("BCC"), new StackSymbolSequence <char>("A") });
exp.AddTransition().From(3).To(4).Read('b').Pop(new StackSymbolSequence <char>("AAA")).Push(new StackSymbolSequence <char>[] { new StackSymbolSequence <char>("BCC"), new StackSymbolSequence <char>("AA") });
exp.AddTransition().From(4).To(4).Read('b').Pop(new StackSymbolSequence <char>("B")).Push();
exp.AddTransition().From(4).To(4).Read('b').Pop(new StackSymbolSequence <char>("BCC")).Push(new StackSymbolSequence <char>[] { new StackSymbolSequence <char>("CC") });
exp.AddTransition().From(4).To(4).Read('b').Pop(new StackSymbolSequence <char>("BBCC")).Push(new StackSymbolSequence <char>[] { new StackSymbolSequence <char>("BCC") });
exp.AddTransition().From(4).To(4).Read('c').Pop(new StackSymbolSequence <char>("C")).Push();
exp.AddTransition().From(4).To(4).Read('c').Pop(new StackSymbolSequence <char>("CC")).Push(new StackSymbolSequence <char>[] { new StackSymbolSequence <char>("C") });
var act = DPDAToNormalFormConverter <char, char> .ToNormalForm(dpda);
Assert.IsTrue(exp.Equals(act));
dpda.CreateRunner();
exp.CreateRunner();
act.CreateRunner();
var equalityResult1 = new PDAEqualityResult <StackSymbolSequence <char>, StackSymbolSequence <char> >(exp, act, "abc", 7, 300000, 3000);
Assert.IsTrue(equalityResult1.AreEqual);
var equalityResult2 = new PDAEqualityResult <char, StackSymbolSequence <char> >(dpda, act, "abc", 10, 600000, 3000);
Assert.IsTrue(equalityResult2.AreEqual);
//this is actually unnecessary
Assert.IsTrue(act.AcceptsWord("aabbcc").Accepts());
Assert.IsTrue(!act.AcceptsWord("aabbc").Accepts());
Assert.IsTrue(!act.AcceptsWord("aabcc").Accepts());
Assert.IsTrue(!act.AcceptsWord("abbcc").Accepts());
Assert.IsTrue(!act.AcceptsWord("").Accepts());
}
