public void Play()
{
machine.Reset();
//progressBar.Value = 0;
pos = 0;
txtOut.Clear();
txtStates.Text = machine.State.ToString() + " ";
machine.Step += new TerminalStepDelegate(machine_OnStep);
machine.Process(strs, out ss, out oo);
machine.Step -= new TerminalStepDelegate(machine_OnStep);
#region "output: release version" - commented
//txtOut.Clear();
//foreach (object s in oo)
//{
// if (s != null)
// txtOut.Text += s.ToString() + ' ';
//}
#endregion
}
