Here is the definition of the compiled-in Turing Machines:
private String machineStringTable[][] = { // State: -1- -1- -2- -2- -3- -3- -4- -4- -5- -5- -6- -6- // Read from tape: -0- -1- -0- -1- -0- -1- -0- -1- -0- -1- -0- -1- // Example: "1L2-1L1 1R3-1R2 0R6-1R4 1L1-0R5 0L1-1R3 1L5-0XX" // Syntax is verified by MachineString.java // Letters allowed in MachineDesc.java { "1", "Busy beaver, 3-state", "1R2-1L3 1L1-1R2 1L2-1XX.", "Maximizes number of 1's (t:13)", "10" // Full tape size }, { "2", "Busy beaver, 5-state", "1R2-0L3 1R3-1R4 1L1-0R2 0R5-1XX 1L3-1R1", "Maximizes number of 1's, Shultz, Sci.Am. Aug.1984 (t:134.467)", "2000" // Full tape size }, { "3", "Castor ministerialis, 5-state", "1R2-1R1 1R3-0R5 1L4-0R1 1L2-1L4 0XX-0R2", "Maximizes head moving without producing anything, Sci.Am. Aug.1984 (t:52)", "100" // Full tape size }, { "4", "Castor scientificus, 5-state", "0R2-0L1 0R3-0XX 1R4-1L5 1L1-0L4 1R3-1R5", "Maximizes transitions without producing anything, Sci.Am. Aug.1984 (t:187)", "100" // Full tape size }, { "5", "Castor circuitus, 5-state", "0R2-0L1 1R3-0XX 0L3-1R4 0L4-1R5 1L1-0L5", "Produces nil, max. transitions, ends where it started, Sci.Am. Aug.1984 (t:67)", "100" // Full tape size }, { "6", "Busy Beaver, 5-state", "1L2-1L4 1R3-0R5 0L1-0R2 1L5-1XX 1R3-1L3", "Marxen and Buntrock 5.7, see www.drb.insel.de/~heiner/BB/bb-list (t:2.358.064)", // They have specified HL1 for halting state. I don't have the "L", how can it move when it has stopped? "5000" // Full tape size }, { "7", "Busy Beaver, 6-state", "1L2-1L1 1R3-1R2 0R6-1R4 1L1-0R5 0L1-1R3 1L5-1XX", "Marxen and Buntrock 6.1, see www.drb.insel.de/~heiner/BB/bb-list (t:13.122.572.797)", // They have specified HL1 for halting state. I don't have the "L", how can it move when it has stopped? "420000"// Full tape size // Status: 7 is halted: pos:204874, 1's:136612, trans:13122572797, // used:-43 to 204874 of 420000 } };