public void Transition()
{
ArrayList prog = new ArrayList();
prog.Add(new NopInstruction());
prog.Add(new HaltInstruction());
AbstractMachineState state = new AbstractMachineState(new AMFactory());
state.Initialize(prog);
state.Transition();
Assert.IsTrue(state.Stop());
}