示例#1
0
		public MainWindow ()
		{
			InitializeComponent ();

			var t = new WpfRtfLogTarget (txtLog);
			t.DefaultBackgroundColor = Colors.Black;
			t.DefaultForegroundColor = Colors.White;
			Log.AddTarget (t);
			Log.AllowAsynchronousWriting = false;

			Run = new ControlledRun (true);
			Run.MmCreated += mm => {
				mm.AfterStep += ucTape.UpdateTapeVisualization;
				mm.AfterStep += x => Thread.Sleep (100);

				Dispatcher.Invoke ((Action) (() => {
					txtMachineInfo.Text =
						mm.Definition.GetShortDefinitionString (null, null) + "\n" +
						mm.Definition.GetLongDefinitionString (null).Replace ("\n", "").Replace ("\r", "");
				}));
			};

			tRun = new Thread (() => {
				Run.Run ();
			}) {
				IsBackground = true,
				Name = "WPF TM Run thread",
			};
			tRun.Start ();
		}
示例#2
0
文件: Program.cs 项目: nerai/nibbler
		static void Main (string[] args)
		{
			if (!Environment.Is64BitProcess) {
				Log.WriteLine ("Running as 32 bit process.");
			}

			var cr = new ControlledRun (false);
			cr.Run ();
		}
示例#3
0
            public Menu_Print(ControlledRun cr)
                : base("print")
            {
                CR = cr;

                HelpText = ""
                           + "print\n"
                           + "Configures printing options.\n"
                           + "print steps [show|hide]\n"
                           + "print trans [all|ctr|none]\n"
                           + "\n"
                           + "The 'print' commands changes which configurations and transitions are displayed.\n"
                           + "\n"
                           + "To display both the tape and the transitions:\n"
                           + "$ print steps show\n"
                           + "$ print trans all\n"
                           + "\n"
                           + "To hide all regular output:\n"
                           + "$ print steps hide\n"
                           + "$ print trans none\n"
                ;

                Add(new CMenuItem("steps")
                {
                    { "show", s => TmPrintOptions.PrintTapeSteps = true },
                    { "hide", s => TmPrintOptions.PrintTapeSteps = false },
                });

                Add(new CMenuItem("trans")
                {
                    { "all", s => TmPrintOptions.PrintTransitionLevel = PrintTransitionLevel.All },
                    { "ctr", s => TmPrintOptions.PrintTransitionLevel = PrintTransitionLevel.OnlyCTR },
                    { "none", s => TmPrintOptions.PrintTransitionLevel = PrintTransitionLevel.None },
                });

                Add("latex", s => {
                    TmPrintOptions.ExplodeExponents = true;
                    TmPrintOptions.LeftAlignShifts  = true;
                    TmPrintOptions.OutputForLatex   = true;
                    TmPrintOptions.DecodeWords      = false;
                });
            }
示例#4
0
			public Menu_Print (ControlledRun cr)
				: base ("print")
			{
				CR = cr;

				HelpText = ""
					+ "print\n"
					+ "Configures printing options.\n"
					+ "print steps [show|hide]\n"
					+ "print trans [all|ctr|none]\n"
					+ "\n"
					+ "The 'print' commands changes which configurations and transitions are displayed.\n"
					+ "\n"
					+ "To display both the tape and the transitions:\n"
					+ "$ print steps show\n"
					+ "$ print trans all\n"
					+ "\n"
					+ "To hide all regular output:\n"
					+ "$ print steps hide\n"
					+ "$ print trans none\n"
					;

				Add (new CMenuItem ("steps")  {
					{"show",  s => TmPrintOptions.PrintTapeSteps = true},
					{"hide",  s => TmPrintOptions.PrintTapeSteps = false},
				});

				Add (new CMenuItem ("trans")  {
					{"all",  s => TmPrintOptions.PrintTransitionLevel = PrintTransitionLevel.All},
					{"ctr",  s => TmPrintOptions.PrintTransitionLevel = PrintTransitionLevel.OnlyCTR},
					{"none", s => TmPrintOptions.PrintTransitionLevel = PrintTransitionLevel.None},
				});

				Add ("latex", s => {
					TmPrintOptions.ExplodeExponents = true;
					TmPrintOptions.LeftAlignShifts = true;
					TmPrintOptions.OutputForLatex = true;
					TmPrintOptions.DecodeWords = false;
				});
			}
示例#5
0
            public Menu_Create(ControlledRun cr)
                : base("create")
            {
                CR = cr;

                HelpText = ""
                           + "create [nohist] [silent] [nofastmacro]\n"
                           + "Creates a new TM from the currently loaded TM definition.\n"
                           + "\n"
                           + "Options: \n"
                           + "nohist      No history is created, disabling nontermination proofs by repetition.\n"
                           + "silent      Step and transition output disabled.\n"
                           + "nofastmacro Macro forwarding disabled.\n"
                           + "\n"
                           + "Example:\n"
                           + "\n"
                           + "$ def 1RA 1RH\n"
                           + "Loaded definition: 1RA 1RH,\n"
                           + "$ create\n"
                           + "Selected machine: 1RA 1RH,\n"
                           + "";
            }
示例#6
0
            public Menu_Def(ControlledRun cr)
                : base("def")
            {
                CR = cr;

                HelpText = ""
                           + "def [k x|definition]\n"
                           + "Loads, changes or displays a TM definition\n"
                           + "\n"
                           + "'def d' loads the definition d, overwriting the currently loaded TM.\n"
                           + "Using 'def k x' changes the macro size of the loaded TM to x. x must be a positive integer between 1 and 8.\n"
                           + "The 'def' command without argument displays the definition of the currently loaded TM.\n"
                           + "\n"
                           + "Examples:\n"
                           + "\n"
                           + "$ def 1RA 1RH\n"
                           + "Loaded definition: 1RA 1RH,\n"
                           + "$ def k 2\n"
                           + "Macro sized changed: 1RA 1RH, K = 2\n"
                           + "$ def\n"
                           + "1RA 1RH, K = 2\n";

                Add("", s => {
                    // Write current definition
                    Log.WriteLine(CR._Def);
                });
                Add("k", s => {
                    // Change macro size
                    int k    = int.Parse(s);
                    var sdef = CR._Def.GetShortDefinitionString(k, null);
                    CR._Def  = new TmDefinition(sdef);
                    Log.WriteLine("Macro sized changed: " + CR._Def);
                });
                Add(null, s => {
                    CR._Def = new TmDefinition(s);
                    Log.WriteLine("Loaded definition: " + CR._Def);
                });
            }
示例#7
0
            public Menu_Run(ControlledRun cr)
                : base("run")
            {
                CR = cr;

                HelpText = "run [s]\n"
                           + "Runs the simulation.\n"
                           + "\n"
                           + "'run' simulates the machine until it halts.\n"
                           + "If a parameter s is given, the machine stops once its shift count is at least s.\n"
                           + "\n"
                           + "Example of running until a machine halts:\n"
                           + "\n"
                           + "$ lib mabu 2\n"
                           + "Loading BusyBeaver5_Mabu2\n"
                           + "$ create\n"
                           + "Selected machine: 1LB 1LA, 1RC 1RB, 1LA 1RD, 1LA 1RE, 1RH 0RC, K=3\n"
                           + "$ print steps hide\n"
                           + "$ print trans none\n"
                           + "$ run\n"
                           + "Result of 1LB 1LA, 1RC 1RB, 1LA 1RD, 1LA 1RE, 1RH 0RC, K=3: HALTING WITH REJECT after 11798826 shifts. 4098 symbols on tape. Tape: 11798826~ 011 101^2047 110\n"
                           + "\n"
                           + "Example of running up to a certain number of shifts:\n"
                           + "\n"
                           + "$ lib mabu 1\n"
                           + "Loading BusyBeaver5_Mabu1\n"
                           + "$ create\n"
                           + "Selected machine: 1LB 1RC, 1LC 1LB, 1LD 0RE, 1RA 1RD, 1LH 0RA, K=3\n"
                           + "$ print steps hide\n"
                           + "$ print trans none\n"
                           + "$ run 100000\n"
                           + "$ print steps show\n"
                           + "$ step 1\n"
                           + "100304~ 110 010^188 E> 100\n"
                           + "100307~ 110 010^188 <C 110\n";
            }
示例#8
0
			public Menu_Lib (ControlledRun cr)
				: base ("lib")
			{
				CR = cr;
				HelpText = ""
					+ "lib [name]\n"
					+ "Loads the specified TM definition from library, or\n"
					+ "Displays all available definitions\n"
					+ "\n"
					+ "Examples:\n"
					+ "\n"
					+ "$ lib\n"
					+ "BusyBeaver2         1RB 1LB, 1LA 1RH, K = 1\n"
					+ "BusyBeaver3         1RB 1RH, 0RC 1RB, 1LC 1LA, K = 1\n"
					+ "\n"
					+ "$ lib bb 2\n"
					+ "Loading BusyBeaver2\n";

				Add ("", s => {
					DefinitionLibrary.PrintContent ();
				});
				Add ("reexport", s => {
					DefinitionLibrary.ReexportJson ();
				});
				Add (null, s => {
					var sdef = DefinitionLibrary.GetDefinitionByName (s);
					if (sdef != null) {
						Log.WriteLine ("Loading " + sdef);
						CR._Def = DefinitionLibrary.Load (sdef);
					}
				});
			}
示例#9
0
			public Menu_Break (ControlledRun cr)
				: base ("break")
			{
				CR = cr;

				HelpText = "break s\n"
					+ "Inserts the breakpoint s, which must be a positive integer. "
					+ "Once the machine's shift count reaches s, execution is stopped and control is transferred to a debugger. "
					+ "If no debugger is already attached, it will be launched.";
			}
示例#10
0
			public Menu_Run (ControlledRun cr)
				: base ("run")
			{
				CR = cr;

				HelpText = "run [s]\n"
					+ "Runs the simulation.\n"
					+ "\n"
					+ "'run' simulates the machine until it halts.\n"
					+ "If a parameter s is given, the machine stops once its shift count is at least s.\n"
					+ "\n"
					+ "Example of running until a machine halts:\n"
					+ "\n"
					+ "$ lib mabu 2\n"
					+ "Loading BusyBeaver5_Mabu2\n"
					+ "$ create\n"
					+ "Selected machine: 1LB 1LA, 1RC 1RB, 1LA 1RD, 1LA 1RE, 1RH 0RC, K=3\n"
					+ "$ print steps hide\n"
					+ "$ print trans none\n"
					+ "$ run\n"
					+ "Result of 1LB 1LA, 1RC 1RB, 1LA 1RD, 1LA 1RE, 1RH 0RC, K=3: HALTING WITH REJECT after 11798826 shifts. 4098 symbols on tape. Tape: 11798826~ 011 101^2047 110\n"
					+ "\n"
					+ "Example of running up to a certain number of shifts:\n"
					+ "\n"
					+ "$ lib mabu 1\n"
					+ "Loading BusyBeaver5_Mabu1\n"
					+ "$ create\n"
					+ "Selected machine: 1LB 1RC, 1LC 1LB, 1LD 0RE, 1RA 1RD, 1LH 0RA, K=3\n"
					+ "$ print steps hide\n"
					+ "$ print trans none\n"
					+ "$ run 100000\n"
					+ "$ print steps show\n"
					+ "$ step 1\n"
					+ "100304~ 110 010^188 E> 100\n"
					+ "100307~ 110 010^188 <C 110\n";
			}
示例#11
0
			public Menu_Step (ControlledRun cr)
				: base ("step")
			{
				CR = cr;

				HelpText = "step n\n"
					+ "Performs n steps.\n"
					+ "\n"
					+ "'step n' lets the currently selected TM run for n steps. A step is either a basic transition or a single whole block operation, if enabled.\n"
					+ "\n"
					+ "Example:\n"
					+ "\n"
					+ "$ lib simple tree\n"
					+ "Loading SimpleChristmasTree\n"
					+ "$ create\n"
					+ "Selected machine: 1RB 1LA, 1LA 1RC, 1RH 1RB,\n"
					+ "$ print steps hide\n"
					+ "$ step 8\n"
					+ "A>0 => 1 B> (1s)\n"
					+ "B>0 => <A 1 (1s)\n"
					+ "1<A => <A 1 (1s)x1\n"
					+ "0<A => 1 B> (1s)\n"
					+ "B>1 => 1 C> (1s)\n"
					+ "C>1 => 1 B> (1s)\n"
					+ "B>0 => <A 1 (1s)\n"
					+ "1<A => <A 1 (1s)x3\n";
			}
示例#12
0
			public Menu_Create (ControlledRun cr)
				: base ("create")
			{
				CR = cr;

				HelpText = ""
					+ "create [nohist] [silent] [nofastmacro]\n"
					+ "Creates a new TM from the currently loaded TM definition.\n"
					+ "\n"
					+ "Options: \n"
					+ "nohist      No history is created, disabling nontermination proofs by repetition.\n"
					+ "silent      Step and transition output disabled.\n"
					+ "nofastmacro Macro forwarding disabled.\n"
					+ "\n"
					+ "Example:\n"
					+ "\n"
					+ "$ def 1RA 1RH\n"
					+ "Loaded definition: 1RA 1RH,\n"
					+ "$ create\n"
					+ "Selected machine: 1RA 1RH,\n"
					+ "";
			}
示例#13
0
			public Menu_Def (ControlledRun cr)
				: base ("def")
			{
				CR = cr;

				HelpText = ""
					+ "def [k x|definition]\n"
					+ "Loads, changes or displays a TM definition\n"
					+ "\n"
					+ "'def d' loads the definition d, overwriting the currently loaded TM.\n"
					+ "Using 'def k x' changes the macro size of the loaded TM to x. x must be a positive integer between 1 and 8.\n"
					+ "The 'def' command without argument displays the definition of the currently loaded TM.\n"
					+ "\n"
					+ "Examples:\n"
					+ "\n"
					+ "$ def 1RA 1RH\n"
					+ "Loaded definition: 1RA 1RH,\n"
					+ "$ def k 2\n"
					+ "Macro sized changed: 1RA 1RH, K = 2\n"
					+ "$ def\n"
					+ "1RA 1RH, K = 2\n";

				Add ("", s => {
					// Write current definition
					Log.WriteLine (CR._Def);
				});
				Add ("k", s => {
					// Change macro size
					int k = int.Parse (s);
					var sdef = CR._Def.GetShortDefinitionString (k, null);
					CR._Def = new TmDefinition (sdef);
					Log.WriteLine ("Macro sized changed: " + CR._Def);
				});
				Add (null, s => {
					CR._Def = new TmDefinition (s);
					Log.WriteLine ("Loaded definition: " + CR._Def);
				});
			}